2452 search results - page 191 / 491 » The Case for Precision Sharing |
182
click to vote
ESSLLI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The main purpose of this paper is to present a new algorithm (NEWSAT) for deciding the (un)satisfiability of propositional formulae. It is based on a somehow dual (versu...
173
click to vote
MICCAI
1998
Springer
15 years 11 months ago
1998
Springer
Many surgical technics act on the upper airway in general, and on the tongue in particular. For example, tongue is one of the anatomical structures involved in the case of Pierre R...
249
click to vote
SSD
1993
Springer
15 years 11 months ago
1993
Springer
Topological relationships between spatial objects represent important knowledge that users of geographic information systems expect to retrieve from a spatial database. A di cult t...
171
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
One of the main obstacles to progress in the field of artificial intelligence and law is the natural language barrier, but the technology of natural language processing has advanc...
161
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a non-rigid alignment algorithm for aligning high-resolution range data in the presence of lowfrequency deformations, such as those caused by scanner calibration error....