943 search results - page 14 / 189 » Virtual First-Order Structure |
227
click to vote
POPL
1999
ACM
15 years 8 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
134
click to vote
AAAI
2000
15 years 5 months ago
2000
We present a Bayesian clustering algorithm for multivariate time series. A clustering is regarded as a probabilistic model in which the unknown auto-correlation structure of a tim...
154
click to vote
VRST
2006
ACM
15 years 10 months ago
2006
ACM
Complex 3D interaction tasks require the manipulation of a large number of input parameters. Spatial input devices can be constructed such that their structure reflects the task ...
120
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In this paper, we propose a Fractal Image Compression method on a virtual hexagonal image structure by adopting Fisher's basic method on the traditional square image structur...
138
click to vote
ISMAR
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we present the evaluation of a virtual mirror used as a navigational tool within a medical augmented reality (AR) system for laparoscopy. 12 surgeons of our clinical...