Sciweavers

396 search results - page 38 / 80
» Combining decision procedures for the reals
Sort
View
85
Voted
CORR
2010
Springer
54views Education» more  CORR 2010»
15 years 1 months ago
Development of a Cargo Screening Process Simulator: A First Approach
The efficiency of current cargo screening processes at sea and air ports is largely unknown as few benchmarks exists against which they could be measured. Some manufacturers provi...
Peer-Olaf Siebers, Galina Sherman, Uwe Aickelin
HAPTICS
2006
IEEE
15 years 7 months ago
Force Feedback in a Three-Dimensional Ultrasound-Guided Surgical Task
Three-dimensional ultrasound (3D US) is a novel imaging modality that allows real time visualization of internal body structures such as the heart, even through visually opaque bl...
Christopher R. Wagner, Douglas P. Perrin, Robert D...
ICIP
2009
IEEE
14 years 11 months ago
An incremental extremely random forest classifier for online learning and tracking
Decision trees have been widely used for online learning classification. Many approaches usually need large data stream to finish decision trees induction, as show notable limitat...
Aiping Wang, Guowei Wan, Zhiquan Cheng, Sikun Li
ICTAI
2005
IEEE
15 years 7 months ago
Planning with POMDPs Using a Compact, Logic-Based Representation
Partially Observable Markov Decision Processes (POMDPs) provide a general framework for AI planning, but they lack the structure for representing real world planning problems in a...
Chenggang Wang, James G. Schmolze
IADIS
2004
15 years 2 months ago
A Model for Naturalistic Virtual User Simulation
The aim of this study is to present a contribution in the area of human decision modeling. A state of the art from this research area shows the lack of models combining perceptive...
Laurent Bodic, Pierre Favier, Guillaume Calvet