7167 search results - page 316 / 1434 » Answer Set Programming |
121
click to vote
HAPTICS
2010
IEEE
15 years 8 months ago
2010
IEEE
In the Turing test, a computer model is deemed to “think intelligently” if it can generate answers that are not distinguishable from those of a human. This test is limited to t...
133
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
124
click to vote
MSS
1999
IEEE
15 years 7 months ago
1999
IEEE
Recently TRW fielded a prototype system for a government customer. It provides a wide range of capabilities including data collection, hierarchical storage, automated distribution...
130
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Accurately predicting program behaviors (e.g., locality, dependency, method calling frequency) is fundamental for program optimizations and runtime adaptations. Despite decades of...
ASPDAC
2000
ACM
15 years 7 months ago
2000
ACM
A new approach is proposed to translate existing software programs from one instruction set to other instruction sets at the level. The behaviors of instructions are abstractly re...