1712 search results - page 234 / 343 » Abstract Constraint Data Types |
106
click to vote
PARA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper investigates two types of overhead due to duplicated local computations, which are frequently encountered in the parallel software of overlapping domain decomp...
PARA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper presents a method of solving initial value problems using Euler’s method, based on the domain of interval valued functions of a real variable. In contrast to...
TACAS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper presents a novel and efficient method for locating deformable shapes in cluttered scenes. The shapes to be detected may undergo arbitrary translational and rot...
SIGDOC
2003
ACM
15 years 4 months ago
2003
ACM
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...