Sciweavers

1941 search results - page 126 / 389
» The representation of planning strategies
Sort
View
WLP
2000
Springer
14 years 1 months ago
A Dynamic Approach to Deductive Query Evaluation
In this paper, a dynamic approach to deductive query evaluation is presented which combines the e ects of di erent SIP strategies used for the magic set rewriting technique. Given...
Andreas Behrend
WWW
2004
ACM
14 years 11 months ago
Ontological representation of learning objects: building interoperable vocabulary and structures
The ontological representation of learning objects is a way to deal with the interoperability and reusability of learning objects (including metadata) through providing a semantic...
Jian Qin, Naybell Hernández
AAAI
1996
13 years 11 months ago
Interactive Information Retrieval Systems with Minimalist Representation
Almost any information you might want is becoming available on-line. The problem is how to find what you need. One strategy to improve access to existing information sources, is i...
Eric A. Domeshek, Smadar Kedar, Andrew S. Gordon
TITS
2008
106views more  TITS 2008»
13 years 10 months ago
Binary-Representation-Based Genetic Algorithm for Aircraft Arrival Sequencing and Scheduling
Arrival sequencing and scheduling (ASS) at airports is an NP-hard problem. Much effort has been made to use permutation-representation-based genetic algorithms (GAs) to tackle this...
Xiao-Bing Hu, Ezequiel A. Di Paolo
MEMOCODE
2006
IEEE
14 years 4 months ago
Mixed symbolic representations for model checking software programs
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivanc...