2006 search results - page 168 / 402 » Testing with Respect to Concerns |
143
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
135
click to vote
IJVR
2007
15 years 4 months ago
2007
—The present article discusses and details the methodological approaches and the reconstruction strategies that have been employed to realize the 3D real-time virtual simulations...
113
click to vote
ALIFE
2004
15 years 4 months ago
2004
One of the central questions in evolutionary biology concerns the dynamics of adaptation and diversification. This issue can be addressed experimentally if replicate populations ad...
129
click to vote
AI
2002
Springer
15 years 4 months ago
2002
Springer
Systems provide a rich abstraction within which divers concepts of reasoning, acceptability and defeasibility of arguments, etc., may be studied using a unified framework. Two imp...
135
click to vote
JAIR
2000
15 years 4 months ago
2000
The recent approaches of extending the GRAPHPLAN algorithm to handle more expressive planning formalisms raise the question of what the formal meaning of "expressive power&qu...