Sciweavers

2501 search results - page 245 / 501
» Logics with Rank Operators
Sort
View
MJ
2008
67views more  MJ 2008»
15 years 5 months ago
Temperature-adaptive voltage tuning for enhanced energy efficiency in ultra-low-voltage circuits
Circuits optimized for minimum energy consumption operate typically in the subthreshold regime with ultra-low power-supply voltages. Speed of a subthreshold logic circuit is enhan...
Ranjith Kumar, Volkan Kursun
161
Voted
SEMWEB
2010
Springer
15 years 3 months ago
Declarative Semantics for the Rule Interchange Format Production Rule Dialect
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
Carlos Viegas Damásio, José Jú...
IAT
2009
IEEE
16 years 17 days ago
CubanSea: Cluster-Based Visualization of Search Results
—In recent years, there has been a move toward supporting the human element of Web search beyond a simple query box and a ranked list of search results. In this paper, we present...
Matthias Tilsner, Orland Hoeber, Adrian Fiech
DEXA
2007
Springer
127views Database» more  DEXA 2007»
15 years 12 months ago
A Method for Determining Ontology-Based Semantic Relevance
The semantic web is based on ontologies and metadata that indexes resources using ontologies. This indexing is called annotation. Ontology based information retrieval is an operati...
Tuukka Ruotsalo, Eero Hyvönen
VMCAI
2007
Springer
15 years 12 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck