16216 search results - page 281 / 3244 » Effective Modeling with Constraints |
164
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
181
click to vote
IJWET
2008
15 years 6 months ago
2008
: Web services serve as a leading technology platform for web-based data-centric environments providing flexibility of loose coupling, message-based communication. Interest in more...
173
click to vote
PR
2006
2006
Correspondence matching using kernel principal components analysis and label consistency constraints
15 years 6 months ago
This paper investigates spectral approaches to the problem of point pattern matching. We make two contributions. First, we consider rigid point-set alignment. Here we show how ker...
168
click to vote
HEURISTICS
2002
15 years 6 months ago
2002
This paper presents a heuristic algorithm for solving RCPSP/max, the resource constrained project scheduling problem with generalized precedence relations. The algorithm relies, a...
226
click to vote
TCOM
2010
15 years 5 months ago
2010
Dynamic spectrum access (DSA) is an integral part of cognitive radio technology aiming at efficient management of the available power and bandwidth resources. The present paper d...