1671 search results - page 289 / 335 » Language Constructs for Multi-agent Programming |
157
click to vote
ERSHOV
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
154
click to vote
FM
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
175
click to vote
CC
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
162
click to vote
ICALP
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. We give an fpt approximation algorithm for the directed vertex disjoint cycle problem. Given a directed graph G with n vertices and a positive integer k, the algorithm co...
151
click to vote
IFIP
2007
Springer
16 years 4 days ago
2007
Springer
Super-resolution algorithms typically improve the resolution of a video frame by mapping and performing signal processing operations on data from frames immediately preceding and i...