23036 search results - page 4453 / 4608 » Sketching informal presentations |
192
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
248
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
Many applications require the management of spatial data. Clustering large spatial databases is an important problem which tries to find the densely populated regions in the featu...
208
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
174
click to vote
SAC
1997
ACM
15 years 10 months ago
1997
ACM
Multidimensional discrete data (MDD), i.e., arrays of arbitrary size, dimension, and base type, are receiving growing attention among the database community. MDD occur in a variet...
164
click to vote
CVRMED
1997
Springer
15 years 10 months ago
1997
Springer
The majority of the available rigid registration measures are based on a 2-dimensional histogram of corresponding grey-values in the registered images. This paper shows that these ...