7991 search results - page 188 / 1599 » Using More Reasoning to Improve |
147
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
arrhythmias (extended abstract) Elisa Fromont, Ren´e Quiniou, Marie-Odile Cordier We are interested in using parallel universes to learn interpretable models that can be subseque...
161
click to vote
ISBI
2008
IEEE
16 years 6 months ago
2008
IEEE
Multi-subject analysis of functional Magnetic Resonance Imaging (fMRI) data relies on within-subject studies, which are usually conducted using a massively univariate approach. In...
151
click to vote
APN
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an e cient strategy for the analysis of Petri nets. The existing techniques for the symbolic ...
153
click to vote
MSR
2010
ACM
15 years 8 months ago
2010
ACM
Abstract—Change prediction helps developers by recommending program entities that will have to be changed alongside the entities currently being changed. To evaluate their accura...
156
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
We extend the notion of social tagging to construct social summaries of complex multimedia materials. Our system allows students to apply time-indexed multimedia tags such as hand...