4520 search results - page 525 / 904 » Algebraic Techniques for Timed Systems |
210
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Robust localization of robots and reliable tracking of people are both critical requirements for the deployment of service robots in real-world environments. In crowded public s...
216
click to vote
SSPR
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In surveillance systems for monitoring people behaviour, it is imporant to build systems that can adapt to the signatures of the people tasks and movements in the environ...
189
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
175
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Client/server information systems use caching techniques to reduce the volume of transmitted data as well as response time and, especially in the case of systems with mobile clien...
173
click to vote
MAM
2006
15 years 6 months ago
2006
Reconfigurable systems can offer the high spatial parallelism and fine-grained, bit-level resource control traditionally associated with hardware implementations, along with the f...