Sciweavers

20126 search results - page 3629 / 4026
» Timed Transition Systems
Sort
View
AAAI
1998
15 years 8 months ago
An Integer Local Search Method with Application to Capacitated Production Planning
Production planning is an important task in manufacturing systems. We consider a real-world capacitated lot-sizing problem (CLSP) from the process industry. Because the problem re...
Joachim P. Walser, Ramesh Iyer, Narayan Venkatasub...
AIPS
2000
15 years 8 months ago
Challenges and Methods in Testing the Remote Agent Planner
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...
Benjamin D. Smith, Martin S. Feather, Nicola Musce...
TREC
2003
15 years 8 months ago
QUALIFIER In TREC-12 QA Main Task
This paper describes a question answering system and its various modules to solve definition, factoid and list questions defined in the TREC12 Main task. In particular, we tackle ...
Hui Yang, Hang Cui, Mstislav Maslennikov, Long Qiu...
ECIR
1998
Springer
15 years 8 months ago
User-Chosen Phrases in Interactive Query Formulation for Information Retrieval
The impact of using phrases as content representation for documents and for queries has generally been accepted as a desirable feature in information retrieval systems because phr...
Alan F. Smeaton, Fergus Kelledy
FLAIRS
2000
15 years 8 months ago
Autonomous Automobile Behavior through Context-Based Reasoning
Today's driving simulators are used in vehicle research and design as well as in training. However, most simulators are not convincing because the degree of realism is not ad...
Fernando G. Gonzalez, Patrick Grejs, Avelino J. Go...
« Prev « First page 3629 / 4026 Last » Next »