Sciweavers

8746 search results - page 1344 / 1750
» Diversifying search results
Sort
View
ICTAI
2005
IEEE
16 years 14 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
IEEEICCI
2005
IEEE
16 years 14 days ago
A brain-like computer for cognitive software applications: the Ersatz Brain project
We want to design a suitable computer for the efficient execution of the software now being developed that will display human-like cognitive abilities. Examples of these potential...
J. A. Anderson
VLSID
2005
IEEE
97views VLSI» more  VLSID 2005»
16 years 13 days ago
Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...
Kameshwar Chandrasekar, Michael S. Hsiao
WACV
2005
IEEE
16 years 13 days ago
Automatic Augmentation and Meshing of Sparse 3D Scene Structure
We propose a novel method of robustly and automatically creating surface meshes from the very sparsely populated 3D point clouds typically produced by Structure from Motion algori...
Oli Cooper, Neill W. Campbell, David P. Gibson
HT
2005
ACM
16 years 13 days ago
Advene: active reading through hypervideo
Active reading and hypermedia usage are an integral part of scholar daily practices, but the full exploitation of their potentialities still lies far ahead. In the search for new ...
Olivier Aubert, Yannick Prié
« Prev « First page 1344 / 1750 Last » Next »