16218 search results - page 277 / 3244 » Standards |
164
click to vote
COCOS
2003
Springer
15 years 12 months ago
2003
Springer
In previous work, we have presented a novel global feasibility solver for the large system of quadratic constraints that arise as subproblems in the solving of hard hybrid problems...
150
click to vote
EVOW
2003
Springer
15 years 12 months ago
2003
Springer
This paper considers the problem of minimizing the response time for a given database workload by a proper choice of indexes. This problem is NP-hard and known in the literature as...
175
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper introduces a model for simulating regulatory networks that is capable of reproducing spatial and temporal expression patterns in developmental processes. The m...
144
click to vote
GMP
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract. The ability to model objects composed of multiple materials has become increasingly more demanded in scientific applications. The visualization of a discrete multi-mater...
174
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...