332 search results - page 37 / 67 » Many-valued hybrid logic |
ER
2007
Springer
15 years 6 months ago
2007
Springer
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
107
click to vote
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
100
click to vote
AAAI
1990
15 years 29 days ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
109
click to vote
CHES
2009
Springer
15 years 6 months ago
2009
Springer
Power-based side channel attacks are a significant security risk, especially for embedded applications. To improve the security of such devices, protected logic styles have been p...
ICLP
1997
Springer
15 years 4 months ago
1997
Springer
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the prog...