5799 search results - page 693 / 1160 » Position Paper |
182
click to vote
IGPL
1998
15 years 6 months ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
185
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— In this paper, we address the problem of determining the relative position and orientation (pose) of two robots navigating in 2D, based on known egomotion and noisy rob...
196
click to vote
JAPLL
2010
15 years 5 months ago
2010
The relational model has recently been extended to so-called K-relations in which tuples are assigned a unique value in a semiring K. A query language, denoted by RAC K , similar ...
206
click to vote
ISBI
2011
IEEE
14 years 10 months ago
2011
IEEE
Magnetic Resonance Imaging (MRI) has several unique advantages for guiding thermal ablation therapies. It not only provides excellent soft-tissue contrast and multiplanar capabili...
171
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...