Sciweavers

2501 search results - page 361 / 501
» Semiotics and Intelligent Control
Sort
View
IWINAC
2007
Springer
15 years 4 months ago
Gaining Insights into Laser Pulse Shaping by Evolution Strategies
Abstract. We consider the numerical evolutionary optimization of dynamic molecular alignment by shaped femtosecond laser pulses. We study a simplified model of this quantum contro...
Ofer M. Shir, Joost N. Kok, Thomas Bäck, Marc...
KI
2007
Springer
15 years 4 months ago
Proposal of Generalized Rule Programming Model
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
Grzegorz J. Nalepa, Igor Wojnicki
LFCS
2007
Springer
15 years 4 months ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer
UM
2007
Springer
15 years 4 months ago
Eliciting Adaptation Knowledge from On-Line Tutors to Increase Motivation
In the classroom, teachers know how to motivate their students and how to exploit this knowledge to adapt or optimize their instruction when a student shows signs of demotivation. ...
Teresa Hurley, Stephan Weibelzahl
WECWIS
2006
IEEE
144views ECommerce» more  WECWIS 2006»
15 years 4 months ago
Evaluation of Adaptive Computing Concepts for Classical ERP Systems and Enterprise Services
— To ensure the operability and reliability of large scale Enterprise Resource Planning Systems (ERP), a peak-load oriented hardware sizing is often used. Better utilization can ...
Martin Wimmer, Valentin Nicolescu, Daniel Gmach, M...