3457 search results - page 110 / 692 » A Symbol Is Not a Symbol |
108
Voted
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
— In this paper we address the problem of generating input plans to steer complex dynamical systems in an obstaclefree environment. Plans considered admit a finite description l...
63
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
The saturation strategy for symbolic state-space generation is very effective for globally-asynchronous locally-synchronous discrete-state systems. Its inherently sequential natu...
88
Voted
IWCMC
2006
ACM
15 years 6 months ago
2006
ACM
This paper introduces a novel symbolic positioning system based on wireless access points and Support Vector Machines. The system works both indoors and outdoors and is cost-effec...
83
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
105
Voted
CC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...