10907 search results - page 2153 / 2182 » Constraint Based Strategies |
AAAI
2008
14 years 1 days ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
BIBE
2010
IEEE
14 years 20 hour ago
2010
IEEE
Studies of interactions between protein domains and ligands are important in many aspects such as cellular signaling and regulation. In this work, we applied a three-stage knowledg...
DAC
2010
ACM
14 years 13 hour ago
2010
ACM
This work proposes a new problem of identifying large and tangled logic structures in a synthesized netlist. Large groups of cells that are highly interconnected to each other can...
ECRTS
2010
IEEE
14 years 9 hour ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
ESA
2010
Springer
14 years 8 hour ago
2010
Springer
We study the problem of estimating the average of a Lipschitz continuous function f defined over a metric space, by querying f at only a single point. More specifically, we explore...