14190 search results - page 2559 / 2838 » Abstractions for hybrid systems |
177
click to vote
SIAMSC
2008
15 years 7 months ago
2008
Abstract. Many vector-valued functions, representing expensive computations, are also structured computations. In this case the calculation of the Newton step can be greatly accele...
210
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
206
click to vote
IJDAR
2007
15 years 7 months ago
2007
Abstract. Effective indexing is crucial for providing convenient access to scanned versions of large collections of handwritten historical manuscripts. Since traditional handwritin...
215
Voted
AAECC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
189
click to vote
SIGOPS
2008
15 years 7 months ago
2008
Object based storage devices (OSDs) elevate the level of abstraction presented to clients, thereby permitting them to offer methods for managing, sharing, and securing information...