Sciweavers

3119 search results - page 216 / 624
» General Default Logic
Sort
View
GLVLSI
2006
IEEE
90views VLSI» more  GLVLSI 2006»
15 years 6 months ago
Low-power clustering with minimum logic replication for coarse-grained, antifuse based FPGAs
This paper presents a minimum area, low-power driven clustering algorithm for coarse-grained, antifuse-based FPGAs under delay constraints. The algorithm accurately predicts logic...
Chang Woo Kang, Massoud Pedram
JCDL
2006
ACM
92views Education» more  JCDL 2006»
15 years 6 months ago
Probabilistic, object-oriented logics for annotation-based retrieval in digital libraries
In this paper we introduce POLAR, a probabilistic objectoriented logical framework for annotation-based information retrieval. In POLAR, the knowledge about digital objects, annot...
Ingo Frommholz, Norbert Fuhr
93
Voted
SIGMOD
2000
ACM
98views Database» more  SIGMOD 2000»
15 years 5 months ago
High Speed On-line Backup When Using Logical Log Operations
Media recovery protects a database from failures of the stable medium by maintaining an extra copy of the database, called the backup, and a media recovery log. When a failure occ...
David B. Lomet
110
Voted
ATAL
2007
Springer
15 years 4 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
127
Voted
AAAI
2007
15 years 3 months ago
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...
Diego Calvanese, Thomas Eiter, Magdalena Ortiz