2947 search results - page 388 / 590 » Analyzing Program Analyses |
109
Voted
AAAI
2006
15 years 4 months ago
2006
A long-standing goal of AI is the development of intelligent workstation-based personal agents to assist users in their daily lives. A key impediment to this goal is the unrealist...
121
Voted
CSREAESA
2006
15 years 4 months ago
2006
Hybrid spacecraft processing platforms that combine radiation-hardened components with commercialgrade COTS components have the potential to dramatically improve performance while ...
129
click to vote
DLOG
2006
15 years 4 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
147
Voted
WSC
2000
15 years 3 months ago
2000
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
123
Voted
ACL
1989
15 years 3 months ago
1989
The Context-Free backbone of some natural language analyzers produces all possible CF parses as some kind of shared forest, from which a single tree is to be chosen by a disambigu...