3091 search results - page 251 / 619 » The Color Between Two Others |
147
click to vote
ICRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
130
click to vote
SSD
1999
Springer
15 years 8 months ago
1999
Springer
This work is a contribution to the developing literature on multi-resolution data models. It considers operations for model-oriented generalization in the case where the underlying...
134
click to vote
COMPGEOM
1997
ACM
15 years 8 months ago
1997
ACM
Given a pair of nonidentical complex objects, de ning and determining how similar they are to each other is a nontrivial problem. In data mining applications, one frequently nee...
108
click to vote
CHI
1992
ACM
15 years 8 months ago
1992
ACM
Building an interactive application requires, amongst other activities, the design of both a data model and a user interface. These two designs are often done separately, frequent...
156
click to vote
CSCW
1992
ACM
15 years 8 months ago
1992
ACM
Today, most cooperative systems support primarily either asynchronous or synchronous (real time) cooperative work. We feel that both synchronous and asynchronous cooperation are e...