400 search results - page 70 / 80 » Moving Proofs-As-Programs into Practice |
ECIS
2003
13 years 9 months ago
2003
Collaboration is vital for the survival of companies in today’s fast moving economy and, therefore, finding and matching partners is an important task. This is true for many dif...
IC
2003
13 years 8 months ago
2003
Abstract— In this paper, we develop methods to “sample” a large real network into a small realistic graph. Although topology modeling has received a lot attention lately, it ...
WAE
2001
13 years 8 months ago
2001
The data migration problem is the problem of computing a plan for moving data objects stored on devices in a network from one configuration to another. Load balancing or changing u...
WSC
2004
13 years 8 months ago
2004
Composability is the capability to select and assemble reusable simulation components in various combinations into simulation systems to meet user requirements. The Defense Modeli...
BMVC
2000
13 years 8 months ago
2000
This paper introduces an object recognition strategy based on the following premises: i) an object can be identified on the basis of the optical flow it induces on a stationary ob...