20441 search results - page 172 / 4089 » Locally Computable Structures |
SIAMSC
2008
14 years 11 months ago
2008
Abstract. Many vector-valued functions, representing expensive computations, are also structured computations. In this case the calculation of the Newton step can be greatly accele...
JSW
2006
14 years 11 months ago
2006
The demography of anchovy fishes in the Gulf of Biscay seems to be related to the presence of socalled "retentive" hydrodynamical structures, that keep fish eggs and larv...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Boolean satisfiability problems are an important benchmark for questions about complexity, algorithms, heuristics and threshold phenomena. Recent work on heuristics, and the satis...
105
click to vote
PDP
2007
IEEE
15 years 6 months ago
2007
IEEE
We present an algorithm to compute the cycle structure of large directed graphs where each node has exactly one outgoing edge. Such graphs appear as state diagrams of finite stat...
111
click to vote
APNOMS
2006
Springer
15 years 3 months ago
2006
Springer
For an efficient role based access control using attribute certificate in highly distributed computing environments, we use a technique of structuring role specification certificat...