2634 search results - page 183 / 527 » Faster Than Uppaal |
164
click to vote
CAINE
2009
15 years 7 months ago
2009
This paper compares two data interchange formats currently used by industry applications; XML and JSON. The choice of an adequate data interchange format can have significant cons...
160
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Finite difference methods continue to provide an important and parallelisable approach to many numerical simulations problems. Iterative multigrid and multilevel algorithms can co...
166
click to vote
CCCG
2009
15 years 7 months ago
2009
In structural molecular biology software, the accessibility of an atom in a molecule to a ball representing solvent is either computed slowly by building a solventaccessible surfa...
168
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We present a simple and scalable graph clustering method called power iteration clustering (PIC). PIC finds a very low-dimensional embedding of a dataset using truncated power ite...
170
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
The structure of a Markov network is typically learned using top-down search. At each step, the search specializes a feature by conjoining it to the variable or feature that most ...