Sciweavers

3084 search results - page 291 / 617
» Learning to Take Actions
Sort
View
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
15 years 10 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
ASP
2001
Springer
15 years 10 months ago
Effect of knowledge representation on model based planning: experiments using logic programming encodings
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
Le-Chi Tuan, Chitta Baral
ATAL
2008
Springer
15 years 8 months ago
Coordination of AGVs in an industrial environment
This demonstration aims to show the decentralized coordination of the navigation system of highly autonomous Automated Guided Vehicles (AGVs) integrated in a real industrial envir...
David Herrero Pérez, Humberto Martín...
EMNLP
2007
15 years 8 months ago
Dependency Parsing and Domain Adaptation with LR Models and Parser Ensembles
We present a data-driven variant of the LR algorithm for dependency parsing, and extend it with a best-first search for probabilistic generalized LR dependency parsing. Parser act...
Kenji Sagae, Jun-ichi Tsujii
ICMLA
2008
15 years 8 months ago
Adaptive Control of Antilock Braking System Using Grey Multilayer Feedforward Neural Networks
In this paper, a grey neuro-adaptive control algorithm is suggested for Antilock Braking Systems (ABS). The concept of grey system theory, which has a certain prediction capabilit...
Erdal Kayacan, Yesim Oniz, Okyay Kaynak, Andon V. ...