4814 search results - page 648 / 963 » Combining abstract interpreters |
171
click to vote
ICANN
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. A previous paper [2] presented a model (UCPF-HC) of the hippocampus as a unitary coherent particle filter, which combines the classical hippocampal roles of associative m...
178
click to vote
IMCSIT
2010
15 years 3 months ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...
159
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
143
click to vote
SAT
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
155
click to vote
SEMWEB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. A few ...