4513 search results - page 657 / 903 » Logic programming with satisfiability |
109
click to vote
IPMU
2010
Springer
15 years 8 months ago
2010
Springer
We introduce a general definition for the independence of a number of finite-valued variables, based on coherent lower previsions. Our definition has an epistemic flavour: it a...
139
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
227
click to vote
Lecture Notes
Driven by recent innovations in Field-Programmable Gate Arrays (FPGAs), reconfigurable computing offers unique ways to accelerate key algorithms. FPGAs offer a programmable logic f...
168
click to vote
MICCAI
2004
Springer
16 years 4 months ago
2004
Springer
Existing surgical simulators provide a physical simulation that can help a trainee develop the hand-eye coordination and motor skills necessary for specific tasks, such as cutting ...
137
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...