1743 search results - page 32 / 349 » Generalized Modal Satisfiability |
90
Voted
AIPS
2006
15 years 2 months ago
2006
We study the consequences on complexity that arise when bounds on the number of branch points on the solutions for non-deterministic planning problems are imposed as well as when ...
113
Voted
CG
2002
Springer
15 years 18 days ago
2002
Springer
To reconstruct the shape of objects from incomplete point sets or noisy images, robust and accurate reconstruction methods are required. This paper presents a physics-based approa...
83
Voted
FUIN
2000
15 years 17 days ago
2000
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...
104
Voted
VIROLOGY
2010
14 years 11 months ago
2010
We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal logic. Our definition al thanks to it...
177
Voted
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
Multi-modal image registration is a challenging problem in medical imaging. The goal is to align anatomically identical structures; however, their appearance in images acquired wit...