2607 search results - page 417 / 522 » On the Architecture of System Verification Environments |
149
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
The idea that internal models of the world might be useful has generally been rejected by embodied AI for the same reasons that led to its rejection by behaviour based robotics. Th...
150
click to vote
WSC
1998
15 years 7 months ago
1998
ON MODELING AT MULTIPLE LEVELS OF ABSTRACTION Perakath Benjamin Madhav Erraguntla Dursun Delen Richard Mayer Knowledge Based Systems, Inc. 1408 University Drive College Station, Te...
147
click to vote
AIPS
1994
15 years 7 months ago
1994
Autonomousmobile robots need to detect potential failures reliably and react appropriately. Dueto uncertainties about the robots and their environment,it is extremelydifficult to ...
156
click to vote
DPD
2006
15 years 6 months ago
2006
Transient Web service provisioning implies a variety of different requirements that are hard to meet in traditional Web service environments. Currently, Web service brokerage focus...
154
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
This paper presents Ellogon, a multi-lingual, cross-platform, general-purpose text engineering environment. Ellogon was designed in order to aid both researchers in natural langua...