5615 search results - page 76 / 1123 » On the Computational Capabilities of Several Models |
EUROSSC
2006
Springer
15 years 1 months ago
2006
Springer
Despite many years of ubiquitous computing (ubicomp) middleware research, deployment of such systems has not been widespread. We suggest this is in part because we lack a shared mo...
BMCBI
2008
14 years 10 months ago
2008
Background: Ionic current blockade signal processing, for use in nanopore detection, offers a promising new way to analyze single molecule properties with potential implications f...
FMOODS
2007
14 years 11 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
68
Voted
SPAA
2006
ACM
15 years 3 months ago
2006
ACM
We introduce a simple new model of distributed computation — finite-state symmetric graph automata (FSSGA) — which captures the qualitative properties common to fault-toleran...
ICRA
1994
IEEE
15 years 2 months ago
1994
IEEE
This paper describes an efficient algorithm for computing the distance between non-convex objects. Objects are modeled as the union of a set of convex components. From this model ...