5451 search results - page 1025 / 1091 » Typed Operational Semantics |
117
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...
125
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
129
Voted
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
Geospatial image data obtained by satellites and aircraft are increasingly important to a wide range of applications, such as disaster management, climatology, and environmental m...
138
Voted
ICCD
2000
IEEE
15 years 6 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
154
Voted
ECBS
2010
IEEE
15 years 5 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...