2478 search results - page 173 / 496 » Quadtrees as an Abstract Domain |
IESS
2009
Springer
14 years 27 days ago
2009
Springer
Abstract. Embedded systems are increasing in complexity, while several metrics such as time-to-market, reliability, safety and performance should be considered during the design of...
WEBI
2001
Springer
14 years 22 days ago
2001
Springer
Abstract. This paper argues that the World Wide Web could be regarded not only as an information resource but also as a dynamic, multilingual, least controlled, easy to access and ...
COLLABORATION
1999
Springer
14 years 18 days ago
1999
Springer
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...
RANDOM
1999
Springer
14 years 17 days ago
1999
Springer
Abstract. We consider approximate PCPs for multidimensional bin-packing problems. In particular, we show how a verifier can be quickly convinced that a set of multidimensional blo...
EPIA
1993
Springer
14 years 12 days ago
1993
Springer
Abstract. This work presents a constraint solver for the domain of rational trees. Since the problem is NP-hard the strategy used by the solver is to reduce as much as possible, in...