Sciweavers

354 search results - page 35 / 71
» Simplifying polygonal models using successive mappings
Sort
View
SOSYM
2010
124views more  SOSYM 2010»
13 years 6 months ago
Lifting transformational models of product lines: a case study
Model driven development (MDD) of software product lines (SPLs) merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transf...
Greg Freeman, Don S. Batory, R. Greg Lavender, Jac...
COORDINATION
2006
Springer
13 years 11 months ago
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel ...
IEEEICCI
2007
IEEE
14 years 2 months ago
Underwater surface recovery and segmentation
Abstract— The underwater environment presents many challenges for robotic sensing including highly variable lighting and the presence of dynamic objects such as fish and suspend...
Michael R. M. Jenkin, Andrew Hogue, Andrew German,...
IJEH
2008
120views more  IJEH 2008»
13 years 7 months ago
Facilitating superior chronic disease management through a knowledge-based systems development model
To date the adoption and diffusion of technology enabled solutions to deliver better healthcare has been slow. There are many reasons for this. One of the most significant is that...
Nilmini Wickramasinghe, Steve Goldberg
CVPR
1999
IEEE
14 years 9 months ago
Extracting Textured Vertical Facades From Controlled Close-Range Imagery
We are developing a system to extract geodetic, textured CAD models from thousands of initially uncontrolled, close-range ground and aerial images of urban scenes. Here we describ...
Satyan R. Coorg, Seth J. Teller