1941 search results - page 180 / 389 » Reasoning about Computations Using Two-Levels of Logic |
128
Voted
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
PHOSPHORUS is an agent matchmaking service that exploits domain ontologies, description logic, and a highly declarative language to reason about task-related agent capabilities. P...
123
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
131
click to vote
ILP
2003
Springer
15 years 8 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
115
Voted
FAC
2010
15 years 29 days ago
2010
Separation logic allows simple proofs of concurrent algorithms which use blocking mechanisms such as semaphores. It can even deal with non-blocking algorithms. With the addition of...
129
Voted
ICCAD
2006
IEEE
16 years 15 days ago
2006
IEEE
Parametric yield loss due to variability can be effectively reduced by both design-time optimization strategies and by adjusting circuit parameters to the realizations of variable...