2509 search results - page 364 / 502 » Abstract Geometrical Computation and Computable Analysis |
ICLP
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...
ASM
2010
ASM
14 years 7 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
ERSHOV
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
CISS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract – In this paper, a variational message passing framework is proposed for Markov random fields. Analogous to the traditional belief propagation algorithm, variational mes...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— We present a novel cooperative vehicle position estimation algorithm, which can achieve higher levels of accuracy and reliability than existing GPS based positioning so...