2056 search results - page 38 / 412 » time 2000 |
AAAI
2000
14 years 10 days ago
2000
Temporal indeterminacy is an inherent problem which arises when capturing and manipulating temporal data in many application areas. As such, representation and manipulation of tim...
MVA
2000
14 years 9 days ago
2000
In this paper, we propose a method of estimating camera parameters for annotating 3D virtual objects with a wearable vision system. The proposed method tracks natural feature poin...
HYBRID
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
LISA
2000
14 years 9 days ago
2000
The open-source software RRDtool and Cricket provide a solution to the problem of collecting, storing, and visualizing service network time series data for the real-time monitorin...
BIRTHDAY
2000
Springer
14 years 3 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...