1380 search results - page 169 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
KBSE
1998
IEEE
14 years 2 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
SSDBM
2008
IEEE
14 years 4 months ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
DAGSTUHL
2007
13 years 11 months ago
2007
Abstract. Moving objects produce trajectories, which are stored in databases by means of finite samples of time-stamped locations. When also speed limitations in these sample poin...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
While several research projects have been proposed to use software agents to deal with information overload, their results are not applicable in the existing Web infrastructure ma...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— We consider the task of accurately controlling a complex system, such as autonomously sliding a car sideways into a parking spot. Although certain regions of this domain are ex...