2836 search results - page 228 / 568 » Towards Hovering Information |
183
click to vote
MSR
2005
ACM
16 years 9 days ago
2005
ACM
Source code version repositories provide a treasure of information encompassing the changes introduced in the system throughout its evolution. These repositories are typically man...
161
click to vote
AIED
2005
Springer
16 years 8 days ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
171
click to vote
AIME
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In present clinical practice, information about the heart electrical activity is routinely gathered through ECG’s, which record electrical potential from just nine site...
182
click to vote
CIKM
2005
Springer
16 years 8 days ago
2005
Springer
Our previous work on road detection suggests the usage of prior knowledge in order to improve performance. In this paper we will explain our motivation for a novel approach, defin...
171
click to vote
DSVIS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...