Sciweavers

721 search results - page 28 / 145
» A Living System Must Have Noncomputable Models
Sort
View
AIEDU
2007
103views more  AIEDU 2007»
15 years 18 days ago
Student Models that Invite the Learner In: The SMILI: () Open Learner Modelling Framework
In recent years, the learner models of some adaptive learning environments have been opened to the learners they represent. However, as yet there is no standard way of describing a...
Susan Bull, Judy Kay
93
Voted
ICASSP
2009
IEEE
15 years 7 months ago
A flat direct model for speech recognition
We introduce a direct model for speech recognition that assumes an unstructured, i.e., flat text output. The flat model allows us to model arbitrary attributes and dependences o...
Georg Heigold, Geoffrey Zweig, Xiao Li, Patrick Ng...
95
Voted
CMSB
2009
Springer
15 years 7 months ago
Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network
Circadian clocks are biochemical networks, present in nearly all living organisms, whose function is to regulate the expression of specific mRNAs and proteins to synchronise rhyth...
Ozgur E. Akman, Federica Ciocchetta, Andrea Degasp...
92
Voted
HIS
2004
15 years 1 months ago
Zamin, an Agent Based Artificial Life Model
Zamin artificial life model is designed to be a general purpose environment for researches on evolution of learning methods, living strategies and complex behaviors and is used in ...
Ramin Halavati, Saeed Bagheri Shouraki, Saman Hara...
ASE
2008
102views more  ASE 2008»
15 years 18 days ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce