Sciweavers

8810 search results - page 367 / 1762
» Open. Closed. Open
Sort
View
163
Voted
MICCAI
2009
Springer
16 years 1 months ago
Towards Interactive Planning of Coil Embolization in Brain Aneurysms
Abstract. Many vascular pathologies can now be treated in a minimally invasive way thanks to interventional radiology. Instead of open surgery, it allows to reach the lesion of the...
Jérémie Dequidt, Christian Duriez, S...
CP
2009
Springer
16 years 1 months ago
Why Cumulative Decomposition Is Not as Bad as It Sounds
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, M...
ICASSP
2009
IEEE
16 years 1 months ago
Postural time-series analysis using Empirical Mode Decomposition and second-order difference plots
This paper presents a new method for analysis of center of pressure (COP) signals using Empirical Mode Decomposition (EMD). The EMD decomposes a COP signal into a finite set of b...
Ram Bilas Pachori, David J. Hewson, Hichem Snoussi...
LAWEB
2009
IEEE
16 years 1 months ago
Policy Based Protection and Personalized Generation of Web Content
Abstract—The World Wide Web offers easy sharing of information, but provides only few options for the protection of sensitive information and other sensitive resources. Tradition...
Sergej Zerr, Daniel Olmedilla, Juri Luca De Coi, W...
CSL
2009
Springer
16 years 1 months ago
Model Checking FO(R) over One-Counter Processes and beyond
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
Anthony Widjaja To