5981 search results - page 973 / 1197 » time 2006 |
214
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
200
click to vote
CRV
2006
IEEE
15 years 8 months ago
2006
IEEE
- This paper concerns the autonomous tracking of fish using a Remotely Operated Vehicle (ROV) equipped with a single camera. An efficient image processing algorithm is presented th...
193
click to vote
DAWAK
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Data warehouses (DW) main objective is to facilitating decisionmaking. Thus their development has to take into account DW project actor requirements. While much recent re...
195
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Most new words, or neologisms, bubble beneath the surface of widespread usage for some time, perhaps even years, before gaining acceptance in conventional print dictionaries [1]. A...
204
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...