Sciweavers

495 search results - page 47 / 99
» Bridging Global and Local Models of Service-Oriented Systems
Sort
View
TVCG
2008
162views more  TVCG 2008»
13 years 8 months ago
3D Modeling of Optically Challenging Objects
We present a system for constructing 3D models of real-world objects with optically challenging surfaces. The system utilizes a new range imaging concept called multipeak range ima...
Johnny Park, Avinash C. Kak
IJCAI
2007
13 years 10 months ago
Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis
It is now well-known that the size of the model is the bottleneck when using model-based approaches to diagnose complex systems. To answer this problem, decentralized/distributed ...
Marie-Odile Cordier, Alban Grastien
MICCAI
2008
Springer
14 years 10 months ago
MRI Bone Segmentation Using Deformable Models and Shape Priors
Abstract. This paper addresses the problem of automatically segmenting bone structures in low resolution clinical MRI datasets. The novel aspect of the proposed method is the combi...
Jérôme Schmid, Nadia Magnenat-Thalman...
VLSID
2005
IEEE
285views VLSI» more  VLSID 2005»
14 years 9 months ago
Power Monitors: A Framework for System-Level Power Estimation Using Heterogeneous Power Models
Abstract--Power analysis early in the design cycle is critical for the design of lowpower systems. With the move to system-level specifications and design methodologies, there has ...
Nikhil Bansal, Kanishka Lahiri, Anand Raghunathan,...
FMICS
2009
Springer
14 years 3 months ago
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-...