1188 search results - page 208 / 238 » Extended Graph Unification |
JAR
2000
13 years 8 months ago
2000
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...
TOG
2002
13 years 8 months ago
2002
Real-time control of three-dimensional avatars is an important problem in the context of computer games and virtual environments. Avatar animation and control is difficult, howeve...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—Existing work on cross-layer optimization for wireless networks adopts simple physical-layer models, i.e., treating interference as noise. In this paper, we adopt a dete...
ISVC
2010
Springer
13 years 7 months ago
2010
Springer
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...
ISVC
2010
Springer
13 years 7 months ago
2010
Springer
We present Subversion Statistics Sifter, a visualisation and statistics system for exploring the structure and evolution of data contained in Subversion repositories with respect t...