Sciweavers

3406 search results - page 349 / 682
» Computational models of classical conditioning
Sort
View
ISBI
2006
IEEE
16 years 7 months ago
Atlas-assisted tomography: registration of a deformable atlas to compensate for limited-angle cone-beam trajectory
We present a method to improve the quality of cone-beam tomographic images computed from an intra-operative C-arm scan by adding information from an anatomical atlas. Limited rang...
Ofri Sadowsky, Krishnakumar Ramamurthi, Lotta Mari...
TACAS
2009
Springer
167views Algorithms» more  TACAS 2009»
16 years 1 months ago
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
Elina Pacini Naumovich, Simona Bernardi, Marco Gri...
ICRA
2008
IEEE
197views Robotics» more  ICRA 2008»
16 years 1 months ago
A Bayesian framework for optimal motion planning with uncertainty
— Modeling robot motion planning with uncertainty in a Bayesian framework leads to a computationally intractable stochastic control problem. We seek hypotheses that can justify a...
Andrea Censi, Daniele Calisi, Alessandro De Luca, ...
ECSQARU
2005
Springer
16 years 6 days ago
Contextual Discounting of Belief Functions
The Transferable Belief Model is a general framework for managing imprecise and uncertain information using belief functions. In this framework, the discounting operation allows to...
David Mercier, Benjamin Quost, Thierry Denoeux
PRICAI
2004
Springer
16 years 22 hour ago
Prediction of the Risk Types of Human Papillomaviruses by Support Vector Machines
Abstract. Infection by high-risk human papillomaviruses (HPVs) is associated with the development of cervical cancers. Classification of risk types is important to understand the ...
Je-Gun Joung, Sok June Oh, Byoung-Tak Zhang