Sciweavers

33 search results - page 4 / 7
» On the Power of Unambiguity in Logspace
Sort
View
90
Voted
ISLPED
1995
ACM
131views Hardware» more  ISLPED 1995»
15 years 3 months ago
Guarded evaluation: pushing power management to logic synthesis/design
The need to reduce the power consumption of the next generation of digital systems is clearly recognized. At the system level, power management is a very powerful technique and de...
Vivek Tiwari, Sharad Malik, Pranav Ashar
CAE
2005
15 years 2 months ago
Form Follows Function: Aesthetic Interactive Labels
Labels effectively convey co-referential relations between textual and visual elements and are a powerful tool to support learning tasks. Therefore, almost all illustrations in sc...
Timo Götzelmann, Kamran Ali, Knut Hartmann, T...
103
Voted
AAAI
2007
15 years 2 months ago
DL-Lite in the Light of First-Order Logic
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large a...
Alessandro Artale, Diego Calvanese, Roman Kontchak...
74
Voted
CSL
2008
Springer
15 years 2 months ago
Pure Pointer Programs with Iteration
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...
Martin Hofmann, Ulrich Schöpp
111
Voted
SEBD
2007
121views Database» more  SEBD 2007»
15 years 1 months ago
Query Answering in Expressive Variants of DL-Lite
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large am...
Alessandro Artale, Diego Calvanese, Roman Kontchak...