1901 search results - page 184 / 381 » Predicting Program Properties from |
131
click to vote
IMAMS
2003
15 years 4 months ago
2003
In this paper we describe a new shape-from-shading method. We show how the parallel transport of surface normals can be used to impose curvature consistency and also to iterativel...
102
click to vote
BC
2005
15 years 3 months ago
2005
Abstract The coupling of movement behavior and environmental signals has been extensively studied within the domain of rhythmic coordination tasks. However, in contrast to most tra...
147
click to vote
NAR
2010
14 years 10 months ago
2010
FlyTF (http://www.flytf.org) is a database of computationally predicted and/or experimentally verified site-specific transcription factors (TFs) in the fruit fly Drosophila melano...
152
click to vote
TMM
2010
14 years 10 months ago
2010
Abstract--In this article, a video multicast protocol for multihomed mobile terminals is proposed as an alternative stream control transmission protocol (SCTP) for partially reliab...
128
click to vote
FORTE
2003
15 years 4 months ago
2003
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...