25538 search results - page 91 / 5108 » Explanation in Information Systems |
BMCBI
2007
14 years 10 months ago
2007
Background: Knowing which proteins exist in a certain organism or cell type and how these proteins interact with each other are necessary for the understanding of biological proce...
FMCO
2007
Springer
15 years 4 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
CVPR
2008
IEEE
15 years 12 months ago
2008
IEEE
This paper presents a novel approach for tracking humans and objects under severe occlusion. We introduce a new paradigm for multiple hypotheses tracking, observe-and-explain, as ...
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
Training systems with intelligent virtual agents provide an effective means to train people for complex, dynamic tasks like crisis management or firefighting. Virtual agents pro...
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...