360 search results - page 31 / 72 » The Origins of the Translator's Workstation |
SAMOS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This article presents a novel design flow called MOUSE for the effective development of digital signal processing systems in terms of development time, performance and p...
ECSQARU
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...
ESOP
2003
Springer
14 years 2 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
ICPR
2002
IEEE
14 years 2 months ago
2002
IEEE
The proposed shape descriptor is based on the beams originated from a boundary point, which are defined as lines connecting that point with the rest of the points on the boundary....
ICRA
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we present a novel formulation for the optimal control of discrete event dynamic processes which represent production systems with unreliable machines and buffers of...