109 search results - page 22 / 22 » Model-checking Driven Design of Interactive Systems |
SMA
2003
ACM
14 years 20 days ago
2003
ACM
This paper presents a novel Scalar-field based Free-Form Deformation (SFFD) technique founded upon general flow constraints and implicit functions. In contrast to the traditiona...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Simulation has been the dominant research methodology in wireless and sensor networking. When mobility is added, real-world experimentation is especially rare. However,...
BMCBI
2008
13 years 7 months ago
2008
Background: New systems biology studies require researchers to understand how interplay among myriads of biomolecular entities is orchestrated in order to achieve high-level cellu...
TMI
2002
13 years 7 months ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...