1420 search results - page 207 / 284 » Representation of Graphs by OBDDs |
153
click to vote
IV
2006
IEEE
15 years 8 months ago
2006
IEEE
Ribonucleic Acid (RNA) is an important molecule which performs a wide range of functions in biological systems. We present a method for visualizing, exploring and editing RNA mole...
CIG
2005
IEEE
15 years 7 months ago
2005
IEEE
AbstractWe describe Utile Coordination, an algorithm that allows a multiagent system to learn where and how to coordinate. The method starts with uncoordinated learners and maintai...
101
click to vote
HAPTICS
2005
IEEE
15 years 7 months ago
2005
IEEE
Haptic devices can be used to visualize information. As well as representing tangible surfaces and forces to enhance virtual training simulators for instance, haptic devices have ...
135
click to vote
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
108
click to vote
MFCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...