Sciweavers

82 search results - page 13 / 17
» Computational Nature of Processes Induced by Biochemical Rea...
Sort
View
ENTCS
2008
123views more  ENTCS 2008»
13 years 8 months ago
A Chart Semantics for the Pi-Calculus
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
Johannes Borgström, Andrew D. Gordon, Andrew ...
DSN
2003
IEEE
14 years 1 months ago
The Design of Wearable Systems: A Shift in Development Effort
This paper describes a design process for custom wearable systems produced in an academic setting. A set of 245 wearable design defects from two distinct periods separated by six ...
John G. Dorsey, Daniel P. Siewiorek
ICPR
2008
IEEE
14 years 9 months ago
HOPS: Efficient region labeling using Higher Order Proxy Neighborhoods
We present the Higher Order Proxy Neighborhoods (HOPS) approach to modeling higher order neighborhoods in Markov Random Fields (MRFs). HOPS incorporates more context information i...
Albert Y. C. Chen, Jason J. Corso, Le Wang
COMPUTING
2004
125views more  COMPUTING 2004»
13 years 8 months ago
Robust Spherical Parameterization of Triangular Meshes
Parameterization of 3D mesh data is important for many graphics and mesh processing applications, in particular for texture mapping, remeshing and morphing. Closed, manifold, genu...
Alla Sheffer, Craig Gotsman, Nira Dyn
ICIP
2007
IEEE
14 years 2 months ago
Graph Cut Segmentation with Nonlinear Shape Priors
Graph cut image segmentation with intensity information alone is prone to fail for objects with weak edges, in clutter, or under occlusion. Existing methods to incorporate shape a...
James G. Malcolm, Yogesh Rathi, Allen Tannenbaum