Sciweavers

2501 search results - page 125 / 501
» Logics with Rank Operators
Sort
View
ENTCS
2008
105views more  ENTCS 2008»
15 years 1 months ago
Declaring Numbers
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...
Bernd Braßel, Sebastian Fischer, Frank Huch
SAC
2006
ACM
15 years 7 months ago
A framework for content-based image retrieval fully exploiting the semantics of annotation
We present a framework and an application for semanticbased retrieval of images. Our approach adopts a two-level ontology structure in a subset of OWL-DL. In the core ontology onl...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco di...
DEEC
2006
IEEE
15 years 3 months ago
Explanation Services and Request Refinement in User Friendly Semantic-Enabled B2C E-Marketplaces
Abstract. This paper presents an approach aimed at fully exploiting semantics of supply/demand descriptions in B2C and C2C e-marketplaces. Distinguishing aspects include logic-base...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
ICTIR
2009
Springer
14 years 11 months ago
Prior Information and the Determination of Event Spaces in Probabilistic Information Retrieval Models
Abstract. A mismatch between differenteventspaceshasbeen used toargue against rank equivalence of classic probabilistic models of information retrieval and language models. We ques...
Corrado Boscarino, Arjen P. de Vries
DAC
2007
ACM
16 years 2 months ago
Novel CNTFET-based Reconfigurable Logic Gate Design
This paper describes a family of novel dynamically reconfigurable logic gates based on double-gate carbon nanotube field-effect transistors which demonstrate p-type or n-type switc...
David Navarro, Frédéric Gaffiot, Ian...