373 search results - page 30 / 75 » Abstract Geometrical Computation for Black Hole Computation |
160
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
200
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—A cardinal prerequisite for the system design of a sensor network, is to understand the geometric environment where sensor nodes are deployed. The global topology of a largescal...
172
click to vote
CPM
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Protein structure analysis is one of the most important research issues in the post-genomic era, and faster and more accurate query data structures for such 3-D structure...
153
click to vote
SAC
2009
ACM
16 years 27 days ago
2009
ACM
We formalize paper fold (origami) by graph rewriting. Origami construction is abstractly described by a rewriting sys), where O is the set of abstract origami’s and ary relation...
196
click to vote
SIAMJO
2010
15 years 25 days ago
2010
Abstract. We propose a randomized method for general convex optimization problems; namely, the minimization of a linear function over a convex body. The idea is to generate N rando...