Sciweavers

102 search results - page 4 / 21
» First Steps in Synthetic Computability Theory
Sort
View
FIMH
2007
Springer
15 years 5 months ago
Statistical Comparison of Cardiac Fibre Architectures
Abstract. In this paper, a statistical atlas of DT-MRIs based on a population of nine ex vivo normal canine hearts is compared with a human cardiac DT-MRI and a commonly used synth...
Jean-Marc Peyrat, Maxime Sermesant, Xavier Pennec,...
ICPR
2006
IEEE
16 years 21 days ago
Real Time Tracking for 3D Realistic Lip Animation
This article deals with facial segmentation and liptracking with feedback control for real-time animation of a synthetic 3D face model. Classical approaches consist in two success...
Brice Beaumesnil, Franck Luthon
84
Voted
EWSN
2004
Springer
15 years 5 months ago
Networked Slepian-Wolf: Theory and Algorithms
Abstract. In this paper, we consider the minimization of a relevant energy consumption related cost function in the context of sensor networks where correlated sources are generate...
Razvan Cristescu, Baltasar Beferull-Lozano, Martin...
ENTCS
2006
101views more  ENTCS 2006»
14 years 11 months ago
Towards "Dynamic Domains": Totally Continuous Cocomplete Q-categories
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
Isar Stubbe
AO
2007
80views more  AO 2007»
14 years 11 months ago
Problems in the ontology of computer programs
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
Amnon H. Eden, Raymond Turner