Sciweavers

4600 search results - page 863 / 920
» Presentation Of The Eurolang Project
Sort
View
JDA
2006
184views more  JDA 2006»
15 years 6 months ago
Dynamic shortest paths and transitive closure: Algorithmic techniques and data structures
In this paper, we survey fully dynamic algorithms for path problems on general directed graphs. In particular, we consider two fundamental problems: dynamic transitive closure and...
Camil Demetrescu, Giuseppe F. Italiano
EC
2007
145views ECommerce» more  EC 2007»
15 years 6 months ago
Covariant Genetic Dynamics
We present a covariant form for the dynamics of a canonical GA of arbitrary cardinality, showing how each genetic operator can be uniquely represented by a mathematical object - a...
Chryssomalis Chryssomalakos, Christopher R. Stephe...
JGTOOLS
2006
199views more  JGTOOLS 2006»
15 years 6 months ago
Fast Approximation of High-Order Voronoi Diagrams and Distance Transforms on the GPU
We present a graphics hardware implementation of the tangent-plane algorithm for computing the kth-order Voronoi diagram of a set of point sites in image space. Correct and effici...
Ian Fischer, Craig Gotsman
KI
2008
Springer
15 years 6 months ago
Enhancing Animated Agents in an Instrumented Poker Game
In this paper we present an interactive poker game in which one human user plays against two animated agents using RFID-tagged poker cards. The game is used as a showcase to illust...
Marc Schröder, Patrick Gebhard, Marcela Charf...
LISP
2008
105views more  LISP 2008»
15 years 6 months ago
Proving operational termination of membership equational programs
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
Francisco Durán, Salvador Lucas, Claude Mar...