3384 search results - page 422 / 677 » More Testable Properties |
160
click to vote
ICANN
2007
Springer
16 years 24 days ago
2007
Springer
This paper describes a new model for extracting large-field optical flow patterns to generate distributed representations of neural activation to control complex visual tasks such ...
168
click to vote
IFM
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
152
click to vote
ISSAC
2007
Springer
16 years 23 days ago
2007
Springer
Given a lattice basis of n vectors in Zn, we propose an algorithm using 12n3 + O(n2) floating point operations for checking whether the basis is LLL-reduced. If the basis is redu...
160
click to vote
LPNMR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
182
click to vote
LPNMR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...