6800 search results - page 903 / 1360 » Testing with Functions as Specifications |
198
click to vote
SWWS
2008
15 years 8 months ago
2008
- Ontology mapping seeks to find semantic correspondences between similar elements of different ontologies. Ontology mapping is critical to achieve semantic interoperability in the...
177
click to vote
CAINE
2003
15 years 8 months ago
2003
This paper discusses the development of a computational modeling and analysis toolkit to construct, animate, and biomechanically analyze sophisticated models of vertebrates. Users...
186
click to vote
IJCAI
1989
15 years 8 months ago
1989
This paper highlights a phenomenon that causes deductively learned knowledge to be harmful when used for problem solving. The problem occurs when deductive problem solvers encount...
248
click to vote
AAIP
2009
15 years 8 months ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...
146
click to vote
CGF
2010
15 years 7 months ago
2010
In this paper we study the comprehensive effects on volume rendered images due to numerical errors caused by the use of finite precision for data representation and processing. To...