Sciweavers

979 search results - page 103 / 196
» Presentations for Abstract Context Institutions
Sort
View
CORR
2011
Springer
180views Education» more  CORR 2011»
13 years 2 months ago
A Formalization of Polytime Functions
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
Sylvain Heraud, David Nowak
INFOCOM
2011
IEEE
12 years 12 months ago
Scheduling in mapreduce-like systems for fast completion time
Abstract—Large-scale data processing needs of enterprises today are primarily met with distributed and parallel computing in data centers. MapReduce has emerged as an important p...
Hyunseok Chang, Murali S. Kodialam, Ramana Rao Kom...
CMSB
2011
Springer
12 years 8 months ago
The singular power of the environment on stochastic nonlinear threshold Boolean automata networks
Abstract. This paper tackles theoretically the question of the structural stability of biological regulation networks subjected to the influence of their environment. The model of...
Jacques Demongeot, Sylvain Sené
MICCAI
2005
Springer
14 years 9 months ago
A Segmentation and Reconstruction Technique for 3D Vascular Structures
Abstract. In the context of stroke therapy simulation, a method for the segmentation and reconstruction of human vasculature is presented and evaluated. Based on CTA scans, semi-au...
Vincent Luboz, Xunlei Wu, Karl Krissian, Carl-Fred...
ALT
2006
Springer
14 years 5 months ago
Towards a Better Understanding of Incremental Learning
Abstract. The present study aims at insights into the nature of incremental learning in the context of Gold’s model of identification in the limit. With a focus on natural requi...
Sanjay Jain, Steffen Lange, Sandra Zilles