2838 search results - page 491 / 568 » Verifying Controlled Components |
ICRA
1993
IEEE
14 years 1 months ago
1993
IEEE
The ability to automatically generate internal models from sensed data will be of critical importance in the development of flexible, adaptive and useful unmanned underwater vehic...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
Automatic face sketch synthesis has important applications in law enforcement and digital entertainment. Although great progress has been made in recent years, previous methods onl...
AIED
2007
Springer
14 years 1 months ago
2007
Springer
: The use of Open-Learner Modelling (OLM) within Intelligent Learning Environments is becoming more common. By allowing learners a greater control over their learning experience, O...
CONEXT
2007
ACM
14 years 1 months ago
2007
ACM
Community wireless mesh networks (WMNs) are increasingly being deployed for providing cheap, low maintenance Internet access. For the successful adoption of WMNs as a last-mile te...
SAT
2010
Springer
14 years 28 days ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...