Sciweavers

5128 search results - page 397 / 1026
» When Abstraction Fails
Sort
View
FMSD
2007
101views more  FMSD 2007»
15 years 7 months ago
Timed substitutions for regular signal-event languages
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
Béatrice Bérard, Paul Gastin, Antoin...
AI
2005
Springer
15 years 7 months ago
Bayesian network modelling through qualitative patterns
In designing a Bayesian network for an actual problem, developers need to bridge the gap between ematical abstractions offered by the Bayesian-network formalism and the features o...
Peter J. F. Lucas
TCS
2008
15 years 7 months ago
Information systems revisited - the general continuous case
In this paper a new notion of continuous information system is introduced. It is shown that the information systems of this kind generate exactly the continuous domains. The new i...
Dieter Spreen, Luoshan Xu, Xuxin Mao
UAIS
2008
88views more  UAIS 2008»
15 years 7 months ago
Utilizing Wiki-Systems in higher education classes: a chance for universal access?
Abstract Wikis are a website technology for mass collaborative authoring. Today, wikis are increasingly used for educational purposes. Basically, the most important asset of wikis ...
Martin Ebner, Michael D. Kickmeier-Rust, Andreas H...
TMI
1998
155views more  TMI 1998»
15 years 7 months ago
Spatio-temporal fMRI Analysis using Markov Random Fields
Abstract—Functional magnetic resonance images (fMRI’s) provide high-resolution datasets which allow researchers to obtain accurate delineation and sensitive detection of activa...
Xavier Descombes, Frithjof Kruggel, D. Yves von Cr...