Sciweavers

1073 search results - page 15 / 215
» Reasoning about Continuous Processes
Sort
View
ANOR
2002
57views more  ANOR 2002»
13 years 7 months ago
Redefining Event Variables for Efficient Modeling of Continuous-Time Batch Processing
Abstract: We define events so as to reduce the number of events and decision variables needed for modeling batchscheduling problems such as described in [Westenberger and Kallrath ...
Siqun Wang, Monique Guignard
ECAI
2004
Springer
14 years 27 days ago
IPSS: A Hybrid Reasoner for Planning and Scheduling
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
María Dolores Rodríguez-Moreno, Ange...

Publication
394views
15 years 7 months ago
SEA-CNN: Scalable Processing of Continuous K-Nearest Neighbor Queries in Spatio-temporal Databases
Location-aware environments are characterized by a large number of objects and a large number of continuous queries. Both the objects and continuous queries may change their locati...
Xiaopeng Xiong, Mohamed F. Mokbel, Walid G. Aref
VL
2002
IEEE
14 years 12 days ago
Visually Customizing Inference Rules About Apples and Oranges
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...
Margaret M. Burnett, Martin Erwig
AI
2001
Springer
13 years 11 months ago
Learning about Constraints by Reflection
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
J. William Murdock, Ashok K. Goel