10997 search results - page 268 / 2200 » On the Structure of Complete Sets |
182
click to vote
MM
2004
ACM
16 years 5 days ago
2004
ACM
We present a novel method for interactive retrieval of 3D shapes using physical objects. Our method is based on simple physical 3D interaction with a set of tangible blocks. As th...
197
click to vote
EMSOFT
2004
Springer
16 years 4 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
208
click to vote
ISSAC
2004
Springer
16 years 3 days ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
175
click to vote
MMB
2004
Springer
16 years 3 days ago
2004
Springer
A sensitivity analysis of a single-server, infinite-buffer queue with correlated arrivals and correlated service times is performed. We study and compare the isolated impact of (...
178
click to vote
ADC
2000
Springer
15 years 11 months ago
2000
Springer
Advanced object-oriented applications require the management of schema versions, in order to cope with changes in the structure of the stored data. Two types of versioning have be...