102 search results - page 4 / 21 » First Steps in Synthetic Computability Theory |
FIMH
2007
Springer
14 years 1 months ago
2007
Springer
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...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
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...
EWSN
2004
Springer
14 years 1 months ago
2004
Springer
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...
ENTCS
2006
13 years 7 months ago
2006
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...
AO
2007
13 years 7 months ago
2007
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...