Sciweavers

3267 search results - page 182 / 654
» Computational Models of Language Acquisition
Sort
View
CAV
2009
Springer
134views Hardware» more  CAV 2009»
16 years 7 months ago
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
Alexander Wenner, Markus Müller-Olm, Peter La...
ISBI
2007
IEEE
16 years 24 days ago
An Iterative Method for Registration of High-Resolution Cardiac Histoanatomical and Mri Images
Cardiac computational models of electrical conduction, mechanical activation, hemodynamics and metabolism require detailed information about the structural arrangement of function...
Tahier Mansoori, Gernot Plank, Rebecca Burton, J&u...
SOFSEM
2007
Springer
16 years 19 days ago
Personalized Presentation in Web-Based Information Systems
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
Michal Tvarozek, Michal Barla, Mária Bielik...
ECCV
2010
Springer
15 years 5 months ago
Sequential Non-Rigid Structure-from-Motion with the 3D-Implicit Low-Rank Shape Model
So far the Non-Rigid Structure-from-Motion problem has been tackled using a batch approach. All the frames are processed at once after the video acquisition takes place. In this pa...
Marco Paladini, Adrien Bartoli, Lourdes de Agapito
ASM
2010
ASM
16 years 1 months ago
An Imperative Extension to Alloy
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
Joseph P. Near, Daniel Jackson