605 search results - page 54 / 121 » Dynamic inference of abstract types |
TYPES
2004
Springer
14 years 2 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
UC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Dynamical structure in the brain promotes biological function. Natural scientists look for correlations between measured electrical signals and behavior or mental states....
RECOMB
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We describe a probabilistic model, implemented as a dynamic Bayesian network, that can be used to predict nucleosome positioning along a chromosome based on one or more g...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— To increase reliability and robustness of missioncritical services in the face of routing changes, it is often desirable and beneficial to take advantage of path diver...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— Constructing climbing behaviors for hyperredundant robots that account for the system dynamics requires a model of robot dynamics under contact and friction. One common...