Sciweavers

222 search results - page 27 / 45
» Discounting the Future in Systems Theory
Sort
View
JMLR
2011
175views more  JMLR 2011»
14 years 4 months ago
Causal Time Series Analysis of Functional Magnetic Resonance Imaging Data
This review focuses on dynamic causal analysis of functional magnetic resonance (fMRI) data to infer brain connectivity from a time series analysis and dynamical systems perspecti...
Alard Roebroeck, Anil K. Seth, Pedro A. Valdes-Sos...
IJCAI
2003
14 years 11 months ago
Automated Reasoning: Past Story and New Trends
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
Andrei Voronkov
FAC
2006
122views more  FAC 2006»
14 years 10 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
IJET
2007
121views more  IJET 2007»
14 years 9 months ago
A Technology Based Program That Matches Enrichment Resources With Student Strengths
Remarkable advances in instructional communication technology (ICT) have now made is possible to provide high levels of enrichment and the kinds of curricular differentiation that...
Joseph S. Renzulli, Sally M. Reis
ACMSE
2005
ACM
15 years 3 months ago
NotiFly: enhancing design through claims-based personas and knowledge reuse
Typically viewed as competing design approaches, this paper illustrates how claims and personas can be used together in user interface design. Our combined approach is exemplified...
Justin Belcher, Raheel Aidrus, Ben Congleton, Doug...