2944 search results - page 543 / 589 » Robust Semantic Construction |
120
Voted
ICCD
2000
IEEE
15 years 4 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...
103
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Intelligent agents designed to work in complex, dynamic environments must respond robustly and flexibly to environmental and circumstantial changes. An agent must be capable of de...
118
click to vote
ESAW
2008
Springer
15 years 2 months ago
2008
Springer
A workflow involves the coordinated execution of multiple operations and can be used to capture business processes. Typical workflow management systems are centralised and rigid; t...
128
Voted
SCAI
1993
15 years 1 months ago
1993
Among the most important challenges for contemporary AI research are the development of methods for improved robustness, adaptability, and overall interactiveness of systems. Inter...
116
click to vote
LFP
1992
15 years 1 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...