Sciweavers

1619 search results - page 147 / 324
» Structure in the Space of Value Functions
Sort
View
ISBI
2004
IEEE
16 years 7 months ago
A Deformable Brodmann Area Atlas
Functional MRI studies commonly refer to activation patterns as being localized in specific Brodmann areas, referring to Brodmann's divisions of the human cortex based on cyt...
Paul Rasser, Philip Ward, Patrick Johnston, Paul M...
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 7 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
COMPGEOM
2005
ACM
15 years 8 months ago
Inclusion-exclusion formulas from independent complexes
Using inclusion-exclusion, we can write the indicator function of a union of finitely many balls as an alternating sum of indicator functions of common intersections of balls. We...
Dominique Attali, Herbert Edelsbrunner
CORR
2008
Springer
91views Education» more  CORR 2008»
15 years 6 months ago
Measure and integral with purely ordinal scales
We develop a purely ordinal model for aggregation functionals for lattice valued functions, comprising as special cases quantiles, the Ky Fan metric and the Sugeno integral. For m...
Dieter Denneberg, Michel Grabisch
COMPLEXITY
2007
116views more  COMPLEXITY 2007»
15 years 6 months ago
Life, information, entropy, and time: Vehicles for semantic inheritance
abstractions provides an additional supra-phenotypic vehicle for semantic inheritance, which supports the cultural heritages around which civilizations revolve. The following three...
Antony R. Crofts