Sciweavers

7988 search results - page 407 / 1598
» A Useful Undecidable Theory
Sort
View
IAT
2006
IEEE
16 years 26 days ago
Storytelling Ontology Model Using RST
Storytelling applications are increasingly being used and researched due to the fact that they are capable of conveying information and experience to users in a more natural and f...
Arturo Nakasone, Mitsuru Ishizuka
ICMCS
2006
IEEE
167views Multimedia» more  ICMCS 2006»
16 years 26 days ago
Efficient Object Tracking using Control-Based Observer Design
Kernel-based tracking approaches have proven to be more efficient in computation compared to other tracking approaches such as particle filtering. However, existing kernel-based...
Wei Qu, Dan Schonfeld
ICTAI
2005
IEEE
16 years 12 days 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
165
Voted
SPAA
2005
ACM
16 years 11 days ago
Using elimination to implement scalable and lock-free FIFO queues
This paper shows for the first time that elimination, a scaling technique formerly applied only to counters and LIFO structures, can be applied to FIFO data structures, specific...
Mark Moir, Daniel Nussbaum, Ori Shalev, Nir Shavit
201
Voted
CVBIA
2005
Springer
16 years 11 days ago
Segmenting Cardiopulmonary Images Using Manifold Learning with Level Sets
Cardiopulmonary imaging is a key tool in modern diagnostic and interventional medicine. Automated analysis of MRI or ultrasound video is complicated by limitations on the image qua...
Qilong Zhang, Robert Pless