Sciweavers

1919 search results - page 77 / 384
» Recent Extensions to Traviando
Sort
View
FOSSACS
2006
Springer
15 years 1 months ago
On Metric Temporal Logic and Faulty Turing Machines
Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. Since the early 1990s, it ...
Joël Ouaknine, James Worrell
GECCO
2006
Springer
164views Optimization» more  GECCO 2006»
15 years 1 months ago
A fast hybrid genetic algorithm for the quadratic assignment problem
Genetic algorithms (GAs) have recently become very popular by solving combinatorial optimization problems. In this paper, we propose an extension of the hybrid genetic algorithm f...
Alfonsas Misevicius
ICDT
1995
ACM
105views Database» more  ICDT 1995»
15 years 1 months ago
Datalog Queries of Set Constraint Databases
Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the ...
Peter Z. Revesz
VLDB
1991
ACM
134views Database» more  VLDB 1991»
15 years 1 months ago
Extending the Search Strategy in a Query Optimizer
In order to cope efficiently with simple or complex queries as well as different application requirements (e.g., ad-hoc versus repetitive queries), a query optimizer ought to supp...
Rosana S. G. Lanzelotte, Patrick Valduriez
FLAIRS
2006
14 years 11 months ago
Multi-Dimensional Dependency Grammar as Multigraph Description
Extensible Dependency Grammar (XDG) is new, modular grammar formalism for natural language. An XDG analysis is a multi-dimensional dependency graph, where each dimension represent...
Ralph Debusmann, Gert Smolka