4880 search results - page 423 / 976 » Manuals as Structured Programs |
187
click to vote
CP
2003
Springer
16 years 12 days ago
2003
Springer
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...
206
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
Many data objects in the real world have attributes about location and time. Such spatiotemporal objects can be found in applications such Geographic Information Systems (GIS), env...
245
click to vote
COMPASS
1994
15 years 11 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
204
click to vote
ICECCS
2007
IEEE
15 years 11 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
179
click to vote
SIAMAM
2010
15 years 5 months ago
2010
We present a mathematical framework for the so-called multidisciplinary free material optimization (MDFMO) problems, a branch of structural optimization in which the full material ...