Sciweavers

2138 search results - page 292 / 428
» Logics for the Relational Syllogistic
Sort
View
FPL
2008
Springer
143views Hardware» more  FPL 2008»
13 years 12 months ago
Fast toggle rate computation for FPGA circuits
This paper presents a fast and scalable method of computing signal toggle rate in FPGA-based circuits. Our technique is a vectorless estimation technique, which can be used in a C...
Tomasz S. Czajkowski, Stephen Dean Brown
BNCOD
2007
137views Database» more  BNCOD 2007»
13 years 11 months ago
Isolating Order Semantics in Order-Sensitive XQuery-to-SQL Translation
Order is essential for XML query processing. Efficient XML processing with order consideration over relational storage is non-trivial, especially for complex nested XQuery expressi...
Song Wang, Ling Wang, Elke A. Rundensteiner
IQ
2007
13 years 11 months ago
Simulations Of Error Propagation For Prioritizing Data Accuracy Improvement Efforts
: Models of the association between input accuracy and output accuracy imply that, for any given application, the effect of input errors on the output error rate generally varies i...
Irit Askira Gelman
AAAI
2004
13 years 11 months ago
SAT-Based Answer Set Programming
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
AAAI
2006
13 years 11 months ago
Reasoning about Partially Observed Actions
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
Megan Nance, Adam Vogel, Eyal Amir