3250 search results - page 508 / 650 » An Algorithm to Solve a Linear Program |
178
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
156
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
A new computational framework is developed for the evolutionary determination of molecular crystal structures using the Shake-and-Bake methodology. Genetic algorithms are performe...
164
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
191
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
In the context of communication networks with no QoS guarantees, we describe the problem of streaming layer encoded multimedia presentation data as a two-phase decision problem. W...
168
click to vote
RTSS
1995
IEEE
15 years 10 months ago
1995
IEEE
We present a scheme to guarantee that the execution of real-time tasks can tolerate transient and intermittent faults assuming any queue- based scheduling technique. The scheme is...