Sciweavers

3433 search results - page 261 / 687
» Heuristics for a bidding problem
Sort
View
AAAI
1993
15 years 8 months ago
Learning Semantic Grammars with Constructive Inductive Logic Programming
Automating the construction of semantic grammars is a di cult and interesting problem for machine learning. This paper shows how the semantic-grammar acquisition problem can be vi...
John M. Zelle, Raymond J. Mooney
ICDE
2007
IEEE
117views Database» more  ICDE 2007»
16 years 8 months ago
Finding Skyline and Top-k Bargaining Solutions
We address skyline and top-k processing in web interaction scenarios. We model the problem space based on game theory principles and present new algorithms and heuristics to reali...
Mohamed A. Soliman, Ihab F. Ilyas, Nick Koudas
GIS
2005
ACM
16 years 7 months ago
Contraflow network reconfiguration for evacuation planning: a summary of results
Contraflow, or lane reversal, is a way of increasing outbound capacity of a real network by reversing the direction of inbound roads during evacuations. The contraflow is consider...
Sangho Kim, Shashi Shekhar
CADE
2007
Springer
16 years 7 months ago
SRASS - A Semantic Relevance Axiom Selection System
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
Geoff Sutcliffe, Yury Puzis
163
Voted
RP
2009
Springer
121views Control Systems» more  RP 2009»
16 years 1 months ago
Games with Opacity Condition
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
Bastien Maubert, Sophie Pinchinat