1775 search results - page 145 / 355 » Antichains on Three Levels |
123
click to vote
FOCS
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange qu...
AGENTS
1999
Springer
15 years 6 months ago
1999
Springer
This research proposes a computational framework for generating visual attending behavior in an embodied simulated human agent. Such behaviors directly control eye and head motion...
128
Voted
INFOVIS
1999
IEEE
15 years 6 months ago
1999
IEEE
We have developed a technique, Aggregate Towers, that allows geospatial data to be visualized across a range of map scales. We use a combination of data aggregation algorithms and...
124
click to vote
ICRE
1998
IEEE
15 years 5 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...
103
click to vote
IFIP
1997
Springer
15 years 5 months ago
1997
Springer
The factory of the future is going to have a high, but not full, degree of automation. There are three reasons for that. First, no great level of automation is compatible with req...