1297 search results - page 224 / 260 » Control of systems integrating logic, dynamics, and constrai... |
171
click to vote
FGIT
2010
Springer
14 years 11 months ago
2010
Springer
Routing has been the main challenge for ad hoc networks due to dynamic topology as well as resource constraints. Completely GPS free as well as GPS scarce positioning systems for ...
124
click to vote
AIIDE
2009
15 years 2 months ago
2009
Players perceive information about game environments through a virtual camera. While a significant discussion in the industry and in academic research circles has centered around ...
105
click to vote
MMS
2006
15 years 1 months ago
2006
Vision systems are increasingly being deployed to perform complex surveillance tasks. While improved algorithms are being developed to perform these tasks, it is also important tha...
ELPUB
2006
ACM
15 years 7 months ago
2006
ACM
A text parsing component designed to be part of a system that assists students in academic reading an writing is presented. The parser can automatically add a relational discourse...
127
click to vote
ENTCS
2008
15 years 1 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...