1759 search results - page 100 / 352 » A guide to membrane computing |
170
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
204
click to vote
TOG
2012
13 years 8 months ago
2012
We introduce the interactive system “Beady” to assist the design and construction of customized 3D beadwork. The user first creates a polygonal mesh model called the design m...
150
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
Studies of interactive systems in museums have raised important design considerations, but so far have failed to address sufficiently the particularities of family interaction and...
160
click to vote
RECOMB
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. Whole genome doubling (WGD), a frequent occurrence during the evolution of the angiopsperms, complicates ancestral gene order reconstruction due to the multiplicity of so...
147
click to vote
HAID
2009
Springer
15 years 11 months ago
2009
Springer
A very common task in medical applications and motor-skill training is to trace a path. However, when designing a haptically guided interface, designers need to consider the choice...