Sciweavers

1297 search results - page 224 / 260
» Control of systems integrating logic, dynamics, and constrai...
Sort
View
FGIT
2010
Springer
14 years 11 months ago
Improved Location Aided Cluster Based Routing Protocol for GPS Enabled Manets
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 ...
S. Mangai, A. Tamilarasi
AIIDE
2009
15 years 2 months ago
Investigating the Interplay between Camera Viewpoints, Game Information, and Challenge
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 ...
Arnav Jhala, Martin Schwartz, Hector Perez Martine...
MMS
2006
15 years 1 months ago
Constructing task visibility intervals for video surveillance
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...
Ser-Nam Lim, Larry S. Davis, Anurag Mittal
ELPUB
2006
ACM
15 years 7 months ago
Text Parsing of a Complex Genre
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...
Harald Lüngen, Maja Bärenfänger, Mi...
ENTCS
2008
106views more  ENTCS 2008»
15 years 1 months ago
Verifying Test-Hypotheses: An Experiment in Test and Proof
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...
Achim D. Brucker, Lukas Brügger, Burkhart Wol...