Sciweavers

2324 search results - page 315 / 465
» Specifying interaction surfaces using interaction maps
Sort
View
MICCAI
2006
Springer
16 years 4 months ago
An Energy Minimization Approach to the Data Driven Editing of Presegmented Images/Volumes
Fully automatic, completely reliable segmentation in medical images is an unrealistic expectation with today's technology. However, many automatic segmentation algorithms may ...
Leo Grady, Gareth Funka-Lea
209
Voted
POPL
2002
ACM
16 years 4 months ago
Role analysis
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
Viktor Kuncak, Patrick Lam, Martin C. Rinard
ACCV
2009
Springer
15 years 10 months ago
Transductive Segmentation of Textured Meshes
This paper addresses the problem of segmenting a textured mesh into objects or object classes, consistently with user-supplied seeds. We view this task as transductive learning and...
Anne-Laure Chauve, Jean-Philippe Pons, Jean-Yves A...
131
Voted
APSEC
2005
IEEE
15 years 9 months ago
Describing and Verifying Integrated Services of Home Network Systems
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kiku...
ECLIPSE
2004
ACM
15 years 9 months ago
MEProf: modular extensible profiling for Eclipse
This paper presents a profiling plug-in for IBM’s Eclipse development environment. Our approach characterises profiling as an interactive exploration of a large virtual database...
Marc Hull, Olav Beckmann, Paul H. J. Kelly