Sciweavers

4767 search results - page 594 / 954
» Moving between Contexts
Sort
View
164
Voted
IJCAI
2003
15 years 8 months ago
Abductive Matchmaking using Description Logics
Motivated by the matchmaking problem in electronic marketplaces, we study abduction in Description Logics. We devise suitable definitions of the problem, and show how they can mod...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
171
Voted
WSC
2000
15 years 8 months ago
Confident decision making and improved throughput for cereal manufacturing with simulation
In 1999, Kellogg Company needed to rationalize its area manufacturing capacity. A significant portion of the production was moved between Kellogg manufacturing plants. Simulation ...
Travis A. Dahl, Brian F. Jacob
184
Voted
COLING
1992
15 years 8 months ago
On The Interpretation Of Natural Language Instructions
In this paper, we dLscuss the approach we take to the interpretation of instructions. Instructions describe actions related to each other and to other goals the agent may have; ou...
Barbara Di Eugenio, Michael White
ALGORITHMICA
2010
153views more  ALGORITHMICA 2010»
15 years 7 months ago
Confluently Persistent Tries for Efficient Version Control
We consider a data-structural problem motivated by version control of a hierarchical directory structure in a system like Subversion. The model is that directories and files can b...
Erik D. Demaine, Stefan Langerman, Eric Price
149
Voted
APAL
2007
111views more  APAL 2007»
15 years 7 months ago
A coverage construction of the reals and the irrationals
I modify the standard coverage construction of the reals to obtain the irrationals. However, this causes a jump in ordinal complexity from ω + 1 to Ω. The coverage technique ha...
Harold Simmons