Sciweavers

5918 search results - page 976 / 1184
» A view of cloud computing
Sort
View
CP
1999
Springer
15 years 8 months ago
Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms
Reformulating constraint satisfaction problems (CSPs) in lower arity is a common procedure when computing consistency. Lower arity CSPs are simpler to treat than high arity CSPs. ...
Claudio Lottaz
ESOP
1999
Springer
15 years 8 months ago
An Idealized MetaML: Simpler, and More Expressive
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaiss...
ROBOCUP
1999
Springer
194views Robotics» more  ROBOCUP 1999»
15 years 8 months ago
Agilo RoboCuppers: RoboCup Team Description
This paper describes the Agilo RoboCuppers 1 – the RoboCup team of the image understanding group (FG BV) at the Technische Universit¨at M¨unchen. With a team of five Pioneer 1...
Thorsten Bandlow, Robert Hanek, Michael Klupsch, T...
FASE
1998
Springer
15 years 8 months ago
Specifying and Analyzing Dynamic Software Architectures
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
Robert Allen, Rémi Douence, David Garlan
HPCN
1998
Springer
15 years 8 months ago
A Barotropic Global Ocean Model and its Parallel Implementation on Unstructured Grids
Unstructured grids can represent the complex geometry of the ocean basin with high delity. The lack of development tools supporting irregular grid problems discourages the use of ...
Hakan Öksüzoglu, A. G. M. van Hees