Sciweavers

761 search results - page 76 / 153
» A Reactive Approach to Explanation
Sort
View
MICCAI
2007
Springer
16 years 5 months ago
A Coupled Finite Element Model of Tumor Growth and Vascularization
We present a model of solid tumor growth which can account for several stages of tumorigenesis, from the early avascular phase to the angiogenesis driven proliferation. The model c...
Bryn A. Lloyd, Dominik Szczerba, Gábor Sz&e...
ICIAP
2003
ACM
16 years 4 months ago
A statistical rationalisation of Hartley's normalised eight-point algorithm
The eight-point algorithm of Hartley occupies an important place in computer vision, notably as a means of providing an initial value of the fundamental matrix for use in iterativ...
Wojciech Chojnacki, Michael J. Brooks, Anton van d...
KI
2009
Springer
15 years 11 months ago
Presenting Proofs with Adapted Granularity
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
Marvin Schiller, Christoph Benzmüller
IPPS
2008
IEEE
15 years 10 months ago
Assuring information quality in e-Science
In this paper we outline a framework for assuring information quality (IQ) in an e-Science context, using semiotics theory, semantic explanation of resources, and data couplings. ...
Ying Su, Zhanming Jin, Jie Peng
KBSE
2008
IEEE
15 years 10 months ago
Combining the Analysis of Spatial Layout and Text to Support Design Exploration
The Design Exploration (DE) approach allows a large number of probable end users to communicate with software developers by creating mockups of user interfaces and augmenting the ...
J. Michael Moore, Frank M. Shipman III