399 search results - page 52 / 80 » Efficient Model Checking Using Tabled Resolution |
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
Modeling and recognizing landmarks at world-scale is a
useful yet challenging task. There exists no readily available
list of worldwide landmarks. Obtaining reliable visual
mode...
MICCAI
2009
Springer
14 years 9 months ago
2009
Springer
Q-ball imaging (QBI) is a high angular resolution diffusion imaging (HARDI) technique which has been proven very successful in resolving multiple intravoxel fiber orientations in M...
DASFAA
2003
IEEE
14 years 1 months ago
2003
IEEE
Various models and approaches have been proposed for mapping XML data into relational tables recently. Most of those approaches produce relational schema for given XML data, based...
FMOODS
2008
13 years 10 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
CSL
2010
Springer
13 years 9 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...