47 search results - page 5 / 10 » csp2B: A Practical Approach to Combining CSP and B |
BMCBI
2008
13 years 7 months ago
2008
Background: Inference of evolutionary trees using the maximum likelihood principle is NP-hard. Therefore, all practical methods rely on heuristics. The topological transformations...
ISSAC
2009
Springer
14 years 1 months ago
2009
Springer
We present a high performance algorithm for multiplying sparse distributed polynomials using a multicore processor. Each core uses a heap of pointers to multiply parts of the poly...
CONCUR
2012
Springer
11 years 9 months ago
2012
Springer
Simulation and Abstraction Guy Avni and Orna Kupferman School of Computer Science and Engineering, Hebrew University, Israel Weighted automata map input words to real numbers and a...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
Recently, the optimal distance measure for a given object discrimination task under the nearest neighbor framework was derived [1]. For ease of implementation and efficiency consi...
CARS
2004
13 years 8 months ago
2004
Sensitive structures of the lateral skull base demand for robotic procedures a higher precision than provided by standard navigation systems relying on CT scans. Keystone of our mu...