Sciweavers

2322 search results - page 125 / 465
» On a game in directed graphs
Sort
View
GG
2004
Springer
15 years 11 months ago
Analysis of Metabolic Pathways by Graph Transformation
Biochemical pathways, such as metabolic, regulatory, and signal transduction pathways, constitute complex networks of functional and physical interactions between molecular species...
Francesc Rosselló, Gabriel Valiente
MHCI
2009
Springer
16 years 27 days ago
Effects of co-player visualization in a location-based chase-and-catch game
In our FoxHunt game, virtual foxes are chased on a playground. Foxes and hunters are rendered on a map displayed on GPS-enabled mobile phones. We collected data from three field ...
Gunnar Misund, Harald Holone, Håkon Tolsby, ...
ICAT
2007
IEEE
16 years 17 days ago
AR Display of Visual Aids for Supporting Pool Games by Online Markerless Tracking
This paper presents a supporting system for pool games by computer vision based augmented reality technology. Main purpose of this system is to present visual aids drawn on a pool...
Hideaki Uchiyama, Hideo Saito
ATVA
2005
Springer
108views Hardware» more  ATVA 2005»
15 years 12 months ago
Multi-valued Model Checking Games
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
Sharon Shoham, Orna Grumberg
DIGRA
2005
Springer
15 years 12 months ago
Towards the unification of intuitive and formal game concepts with applications to computer chess
A general technique is proposed to deal with the formalization of intuition and human-oriented concepts in competition thinking games like chess, such as defensive play, attack, t...
Ariel Arbiser