2702 search results - page 133 / 541 » constraints 2008 |
154
click to vote
TPLP
2008
15 years 6 months ago
2008
We present in this paper a first-order axiomatization of an extended theory T of finite or infinite trees, built on a signature containing an infinite set of function symbols and ...
142
click to vote
SIAMJO
2000
15 years 6 months ago
2000
This paper deals with generalized pattern search (GPS) algorithms for linearly constrained optimization. At each iteration, the GPS algorithm generates a set of directions that con...
175
click to vote
BIS
2008
15 years 8 months ago
2008
The deep Web has many challenges to be solved. Among them is schema matching. In this paper, we build a conceptual connection between the schema matching problem SMP and the fuzzy ...
168
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we consider a cognitive radio (CR) network in which the unlicensed (secondary) users are allowed to concurrently access the spectrum allocated to the licensed (prim...
201
click to vote
FAC
2008
15 years 6 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...