Sciweavers

1525 search results - page 227 / 305
» Matching with Regular Constraints
Sort
View
CSL
2006
Springer
15 years 3 months ago
Game Quantification on Automatic Structures and Hierarchical Model Checking Games
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
Lukasz Kaiser
AAAI
2008
15 years 2 months ago
Perpetual Learning for Non-Cooperative Multiple Agents
This paper examines, by argument, the dynamics of sequences of behavioural choices made, when non-cooperative restricted-memory agents learn in partially observable stochastic gam...
Luke Dickens
WSCG
2003
167views more  WSCG 2003»
15 years 1 months ago
Vector-valued Image Restoration with Applications to Magnetic Resonance Velocity Imaging
The analysis of blood flow patterns and the interaction between salient topological flow features and cardiovascular structure plays an important role in the study of cardiovascul...
Yin-Heung Pauline Ng, Guang-Zhong Yang
CVPR
2004
IEEE
16 years 1 months ago
Tomographic Reconstruction of Piecewise Smooth Images
In computed tomography, direct inversion of the Radon transform requires more projections than are practical due to constraints in scan time and image accessibility. Therefore, it...
Christopher V. Alvino, Anthony J. Yezzi Jr.
CVPR
2008
IEEE
16 years 1 months ago
Efficient object shape recovery via slicing planes
Recovering the three-dimensional (3D) object shape lies as an unresolved and active research topic on the crosssection of computer vision, photogrammetry and bioinformatics. Altho...
Po-Lun Lai, Alper Yilmaz