Sciweavers

1149 search results - page 58 / 230
» What Are Iteration Theories
Sort
View
JAIR
2012
254views Hardware» more  JAIR 2012»
11 years 11 months ago
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos...
ETS
2000
IEEE
82views Hardware» more  ETS 2000»
13 years 8 months ago
Towards a Philosophy of Instruction
What is the nature of instructional design? Is instructional design merely the practical application of learning theories to learning situations? What elements form the building b...
J. Michael Spector
CI
2007
45views more  CI 2007»
13 years 8 months ago
Market-Based Approaches to Optimization
Abstract. We present a general discussion of what constitutes a marketoriented approach to optimization. We demonstrate how a general framework can be used to conceptually improve ...
Maria Karlsson, Fredrik Ygge, Arne Andersson
ISSTA
2006
ACM
14 years 2 months ago
Subdomain testing of units and systems with state
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
Dick Hamlet
CANDC
2005
ACM
13 years 8 months ago
MSAID: multiple sequence alignment based on a measure of information discrepancy
We propose an algorithm of global multiple sequence alignment that is based on a measure of what we call information discrepancy. The algorithm follows a progressive alignment ite...
Min Zhang, Weiwu Fang, Junhua Zhang, Zhongxian Chi