Sciweavers

772 search results - page 103 / 155
» Constructing Visual Models with a Latent Space Approach
Sort
View
CHI
2007
ACM
15 years 10 months ago
Aligning development tools with the way programmers think about code changes
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
Marat Boshernitsan, Susan L. Graham, Marti A. Hear...
ATAL
2005
Springer
15 years 11 months ago
Discovering strategic multi-agent behavior in a robotic soccer domain
2. THE MASM ALGORITHM An input to the MASM algorithm is a time-annotated multi-agent action sequence. The action sequence is then transformed into an action graph. An action graph ...
Andraz Bezek
ICCV
2007
IEEE
16 years 8 months ago
From Uncertainties to Statistical Model Building and Segmentation of the Left Ventricle
Reliable segmentation of the left ventricle is a long sought objective in medical imaging for automatic retrieval of anatomical and pathological measurements and detection of malf...
Maxime Taron, Nikos Paragios, Marie-Pierre Jolly
HUMO
2000
Springer
15 years 9 months ago
Specialized Mappings and the Estimation of Human Body Pose from a Single Image
We present an approach for recovering articulated body pose from single monocular images using the Specialized Mappings Architecture (SMA), a non-linear supervised learning archit...
Rómer Rosales, Stan Sclaroff
CORR
2008
Springer
148views Education» more  CORR 2008»
15 years 6 months ago
The craft of model making: PSPACE bounds for non-iterative modal logics
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
Lutz Schröder, Dirk Pattinson