Sciweavers

1399 search results - page 187 / 280
» Verification of Test Suites
Sort
View
AAAI
2010
15 years 7 months ago
How Incomplete Is Your Semantic Web Reasoner?
Conjunctive query answering is a key reasoning service for many ontology-based applications. In order to improve scalability, many Semantic Web query answering systems give up com...
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrock...
FECS
2008
142views Education» more  FECS 2008»
15 years 7 months ago
Teaching Software Modeling and Design Based on The Science of Design and Science of Learning
Teaching software modeling and software design presents a different and difficult set of problems than teaching some of the other aspects of software engineering such as testing a...
Sukhamay Kundu
GAMEON
2008
15 years 7 months ago
Automatable Evaluation Method Oriented toward Behaviour Believability for Video Games
Classic evaluation methods of believable agents are time-consuming because they involve many human to judge agents. They are well suited to validate work on new believable behavio...
Fabien Tencé, Cédric Buche
150
Voted
RIAO
2007
15 years 7 months ago
A Survey on XML Focussed Component Retrieval
Focussed XML component retrieval is one of the most important challenges in the XML IR field. The aim of the focussed retrieval strategy is to find the most exhaustive and specifi...
Karen Pinel-Sauvagnat, Mohand Boughanem
IKE
2004
15 years 7 months ago
Analogy and Deduction for Knowledge Discovery
Analogy-based hypothesis generation is a promising technique for knowledge discovery. However, some hypotheses generated are nonsensical. This paper describes a two-phased method ...
Jim Reynolds, Adam Pease, John Li