3954 search results - page 213 / 791 » Image-based Model Completion |
172
click to vote
ACSC
2008
IEEE
16 years 29 days ago
2008
IEEE
Modern computer systems are based on the traditional hierarchical file system model, but typically contain large numbers of files with complex interrelationships. This tradition...
183
click to vote
CCGRID
2008
IEEE
16 years 29 days ago
2008
IEEE
Long term load prediction can assist task scheduling and load balancing greatly in distributed environment such as computational grid. Due to the dynamic property of grid environm...
178
click to vote
ISBI
2007
IEEE
16 years 23 days ago
2007
IEEE
Many techniques of knowledge-based segmentation consist of building statistical models that describe the deformations of the structure of interest, and then fit these models to t...
156
click to vote
IWPC
2007
IEEE
16 years 23 days ago
2007
IEEE
A commonly used strategy to address the scalability challenge in object-oriented reverse engineering is to synthesize coarse-grained representations, such as package diagrams. How...
150
click to vote
ATVA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...