Sciweavers

5034 search results - page 112 / 1007
» A Content-Centric Development Process Model
Sort
View
131
Voted
ECAI
2004
Springer
15 years 8 months ago
A Formal Tutoring Process Model for Intelligent Tutoring Systems
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
Alke Martens, Adelinde Uhrmacher
111
Voted
FMICS
2008
Springer
15 years 4 months ago
Efficient Symbolic Model Checking for Process Algebras
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
José Vander Meulen, Charles Pecheur
126
Voted
RSS
2007
159views Robotics» more  RSS 2007»
15 years 4 months ago
Gaussian Beam Processes: A Nonparametric Bayesian Measurement Model for Range Finders
— In probabilistic mobile robotics, the development of measurement models plays a crucial role as it directly influences the efficiency and the robustness of the robot’s perf...
Christian Plagemann, Kristian Kersting, Patrick Pf...
112
Voted
PSB
2004
15 years 4 months ago
Modeling Cellular Processes with Variational Bayesian Cooperative Vector Quantizer
Gene expression of a cell is controlled by sophisticated cellular processes. The capability of inferring the states of these cellular processes would provide insight into the mech...
Xinghua Lu, Milos Hauskrecht, Roger S. Day
WSC
2008
15 years 5 months ago
A framework for simulating industrial construction processes
In an industrial fabrication shop, such as pipe spool and steel fabrication, a product usually travels in the system in the form of raw materials or components of the product. Dur...
Naimeh Sadeghi, Aminah Robinson Fayek