210 search results - page 12 / 42 » Universal Booleanization of Constraint Models |
186
Voted
IFIP
2001
Springer
15 years 9 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
155
click to vote
ICN
2009
Springer
15 years 11 months ago
2009
Springer
Using internet for media-based real-time collaboration has become widespread activity. In this paper, we present a framework called CoUniverse, designed for building realtime user...
168
click to vote
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
122
click to vote
TSP
2008
15 years 4 months ago
2008
Since the seminal work of Stein in the 1950s, there has been continuing research devoted to improving the total meansquared error (MSE) of the least-squares (LS) estimator in the l...
149
click to vote
ATC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is ...