GCSE
2001
Springer
14 years 12 days ago
2001
Springer
In this paper we describe our experiences with the development of a platform in the medical imaging domain. Three important ingredients of this platform are components, interfaces...
GCSE
2001
Springer
14 years 12 days ago
2001
Springer
GCSE
2001
Springer
14 years 12 days ago
2001
Springer
Abstract. Class hierarchies, though theoretically reusable, have generally not seen much practical reuse in applications, due in part to the inflexibility of the inheritance relat...
GCSE
2001
Springer
14 years 12 days ago
2001
Springer
Architecture conception is a difficult and time consuming process, requiring advanced skills from the software architect. The tasks of an architect are alleviated if means can be p...
GCSE
2001
Springer
14 years 12 days ago
2001
Springer
Abstract. The C++ language has only a limited runtime type information system, which doesn’t provide full reflection capabilities. We present a general mechanism to support refle...
FSTTCS
2001
Springer
14 years 12 days ago
2001
Springer
Semidefinite programming based approximation algorithms, such as the Goemans and Williamson approximation algorithm for the MAX CUT problem, are usually shown to have certain perf...
FSTTCS
2001
Springer
14 years 12 days ago
2001
Springer
Given a binary relation IE ∪ IR on the set of ground terms e signature, we define an abstract rewrite closure for IE ∪ IR. act rewrite closure can be interpreted as a speciali...
FSTTCS
2001
Springer
14 years 12 days ago
2001
Springer
FSTTCS
2001
Springer
14 years 12 days ago
2001
Springer
We say a polynomial P over ZZM strongly M -represents a Boolean function F if F(x) ≡ P(x) (mod M) for all x ∈ {0, 1}n . Similarly, P one-sidedly M -represents F if F(x) = 0 ⇐...
FSTTCS
2001
Springer
14 years 12 days ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...