5404 search results - page 685 / 1081 » Global Computing for Bioinformatics |
232
click to vote
CC
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
189
click to vote
CCE
2011
14 years 10 months ago
2011
During the last 15 years, many mathematical models have been developed in order to solve process operation scheduling problems, using discrete or continuous time representations. ...
315
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Accurate localization in wireless sensor networks is the foundation for many applications, such as geographic routing and position-aware data processing. An important research d...
236
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—A cardinal prerequisite for the system design of a sensor network, is to understand the geometric environment where sensor nodes are deployed. The global topology of a largescal...
190
click to vote
ICCV
2009
IEEE
16 years 12 months ago
2009
IEEE
A general framework simultaneously addressing pose
estimation, 2D segmentation, object recognition, and 3D
reconstruction from a single image is introduced in this
paper. The pr...