![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
11,218 Result(s)
-
Chapter and Conference Paper
NUSL: An executable specification language based on data abstraction
It proves very useful to give a formal specification of the software to be developed before the development. To write formal specifications, a specification language is to be used. This paper describes the spe...
-
Chapter and Conference Paper
D-Controllability and Strong D-Controllability and Control of Multiparameter and Multiple Time-Scale Singularly Perturbed Systems
Concepts of D-controllability and strong D-controllability are introduced, in terms of which controllability of multiparameter and multiple time-scale singularly perturbed systems is investigated, even regardl...
-
Chapter and Conference Paper
Improved simulated annealing, Boltzmann machine, and attributed graph matching
By separating the search control and the solution updating of the commonly used simulated annealing technique, we propose a revised version of the simulated annealing method which produces better solutions and...
-
Chapter and Conference Paper
The transferable belief model
-
Chapter and Conference Paper
A shared environment parallel logic programming system on distributed memory architectures
Current advances in Virtual Memory for Parallel Architectures have changed the idea that software architectures with global address spaces cannot execute well on Distributed Memory Message Passing (DMMP) archi...
-
Chapter and Conference Paper
Constraint handling, garbage collection and execution model issues in ElipSys
This paper presents the constraint handling and garbage collection parts of ElipSys and gives an overview of its execution model. ElipSys is a logic programming system being developed at ECRC. It combines para...
-
Chapter and Conference Paper
Automatisierte 3D-Modellierung mit segmentierten Stereobildern
In diesem Artikel wird ein Verfahren vorgestellt, welches das für die Szeneninterpretation notwendige Modell dreidimensionaler Objekte automatisch erzeugt. Als Eingangsdaten dienen segmentierte Tiefenbilder de...
-
Chapter and Conference Paper
Virtual Memory Support for OR-Parallel Logic Programming Systems
Most previous parallel logic programming systems have been built on top of classical operating systems. The advances in the area of parallel operating systems have made it possible to explore new execution mod...
-
Chapter and Conference Paper
A Theory of State-based Parallel Programming: Part 1
This paper presents the first part of a theory for develo** totally correct parallel programs. The emphasis of both specification and program is on the states, rather than actions, of the system. We stress t...
-
Chapter and Conference Paper
Virtual memory support for OR-parallel logic programming systems
Most previous parallel logic programming systems have been built on top of classical operating systems. The advances in the area of parallel operating systems have made it possible to explore new execution mod...
-
Chapter and Conference Paper
Verarbeitung geometrischer Informationen in einer CAD/CAP-integrierten Umgebung
Es zeigt sich, daß der Geometrieverarbeitung in der integrierten Informationsverar-beitung für CIM eine große Bedeutung zukommt. Im Hinblick auf die rechnerunter-stützte Arbeitsplanung sowie die Integration mi...
-
Chapter and Conference Paper
Development transformation based on higher order type theory
-
Chapter and Conference Paper
Building a Model of a Road Junction Using Moving Vehicle Information
We describe a program to construct a model of a road junction using data from a single camera. The model specifies the ground plane orientation in camera coordinates and the positions of traffic lanes, and is ...
-
Chapter and Conference Paper
A case study in formally develo** state-based parallel programs—the Dutch National Torus
Recently, formal methods, both assertional (compositional) and algebraic, for develo** state-based parallel programs have been studied. This paper presents one of the few not-that-trivial case studies in thi...
-
Chapter and Conference Paper
Analogical type theory
This paper proposes an analogical type system based on ITT. Based on the intuitive meaning of analogy, a set of rules are introduced and justified to deal with analogy. Analogies on types as well as terms are ...
-
Chapter and Conference Paper
Laws of Parallel Programming with Shared Variables
Extending the laws of sequential programming, we investigate laws of parallel programs in which processes communicate via shared variables. A rich and elegant set of laws, which resemble closely the laws of me...
-
Chapter and Conference Paper
A chain decomposition algorithm for the proof of a property on minimum weight triangulations
In this paper, a chain decomposition algorithm is proposed and studied. Using this algorithm, we prove a property on minimum weight triangulations of points in the Euclidean plane, which shows that a special k...
-
Chapter and Conference Paper
On Unifying Assumption—Commitment Style Proof Rules for Concurrency
Assumption—Commitment paradigms for specification and verification of concurrent programs have been proposed in the past. We show that two typical parallel composition rules for shared variable and message pas...
-
Chapter and Conference Paper
Comparisons of probabilistic and non-probabilistic hough transforms
A new and efficient version of the Hough Transform for curve detection, the Randomized Hough Transform (RHT), has been recently suggested. The RHT selects n pixels from an edge image by random sampling to solve n
-
Chapter and Conference Paper
An Object-Centered Application Development System
Recent advances in object technology have given rise to a set of powerful tools that are referred to as application builders. Application builders attempt to raise the level of abstractions in application deve...