Sciweavers

19985 search results - page 180 / 3997
» Modelling Ecological Data
Sort
View
IPMI
2007
Springer
16 years 4 months ago
Liver Segmentation Using Sparse 3D Prior Models with Optimal Data Support
Abstract. Volume segmentation is a relatively slow process and, in certain circumstances, the enormous amount of prior knowledge available is underused. Model-based liver segmentat...
Charles Florin, Nikos Paragios, Gareth Funka-Lea, ...
IROS
2007
IEEE
193views Robotics» more  IROS 2007»
15 years 10 months ago
Data acquisition and view planning for 3-D modeling tasks
— In this paper we address the joint problems of automated data acquisition and view planning for large–scale indoor and outdoor sites. Our method proceeds in two distinct stag...
Paul Blaer, Peter K. Allen
CSFW
1998
IEEE
15 years 8 months ago
Proving Security Protocols with Model Checkers by Data Independence Techniques
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
A. W. Roscoe
MVA
1996
164views Computer Vision» more  MVA 1996»
15 years 5 months ago
3D Data Driven Prediction for Active Contour Models with Application to Car Tracking
In this paper we apply a new data driven 3D prediction step for active contour models to car tracking on highways. The so called 3D bounding volume (BV) is a coarse 3D representat...
Joachim Denzler, Heinrich Niemann
127
Voted
IEAAIE
2011
Springer
14 years 7 months ago
Modeling Users of Crisis Training Environments by Integrating Psychological and Physiological Data
Abstract. This paper describes aspects of a training environment for crisis decision makers who, notoriously, operate in highly stressful and unpredictable situations. Training suc...
Gabriella Cortellessa, Rita D'Amico, Marco Pagani,...