2239 search results - page 91 / 448 » Computing with abstract matrix structures |
106
click to vote
AB
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, a...
NAACL
2010
14 years 9 months ago
2010
In evidence-based medicine, clinical questions involve four aspects: Patient/Problem (P), Intervention (I), Comparison (C) and Outcome (O), known as PICO elements. In this paper w...
121
click to vote
ICCV
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we describe a method for estimating curvature of elongated structures in images. The curvature estimation is performed on an invertible orientation score, which is a...
FM
2003
Springer
15 years 5 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
BIRTHDAY
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...