Sciweavers

2563 search results - page 211 / 513
» Phenomenology, Representations and Complexity
Sort
View
AAAI
2006
15 years 8 months ago
Constraint-Based Random Stimuli Generation for Hardware Verification
We report on random stimuli generation for hardware verification in IBM as a major application of various artificial intelligence technologies, including knowledge representation,...
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz...
AIPS
2006
15 years 8 months ago
Automated Planning Using Quantum Computation
This paper presents an adaptation of the standard quantum search technique to enable application within Dynamic Programming, in order to optimise a Markov Decision Process. This i...
Sanjeev Naguleswaran, Langford B. White, I. Fuss
CARS
2004
15 years 8 months ago
Vessel segmentation and blood flow simulation using Level-Sets and Embedded Boundary methods
In this article we address the problem of blood flow simulation in realistic vascular objects. The anatomical surfaces are extracted by means of Level-Sets methods that accurately ...
Thomas Deschamps, P. Schwartz, D. Trebotich, P. Co...
FLAIRS
2004
15 years 8 months ago
Aperiodic Dynamics and the Self-Organization of Cognitive Maps in Autonomous Agents
Aperiodic dynamics are known to be essential in the formation of perceptual mechanisms and representations in biological organisms. Advances in neuroscience and computational neur...
Derek Harter, Robert Kozma
ICAD
2004
15 years 8 months ago
Auditory Display of Hyperspectral Colon Tissue Images Using Vocal Synthesis Models
The human ability to recognize, identify and compare sounds based on their approximation of particular vowels provides an intuitive, easily learned representation for complex data...
Ryan J. Cassidy, Jonathan Berger, Kyogu Lee