722 search results - page 47 / 145 » A New Framework for Computer Science and Engineering |
GI
2005
Springer
15 years 3 months ago
2005
Springer
: In diesem Artikel wird die Verwendung von Real Options als Modell f¨ur die Entscheidung ¨uber alternative Strategien in der Softwareentwicklung vorgestellt. Der Fokus liegt hie...
253
click to vote
Publication
In this paper, we present a novel framework for computing centerlines for both 2D and 3D shape analysis. The framework works as follows: an object centerline point is
selected aut...
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
101
click to vote
CONCURRENCY
2002
14 years 9 months ago
2002
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...