Sciweavers

33356 search results - page 113 / 6672
» Models of Continual Computation
Sort
View
SIAMCOMP
2002
153views more  SIAMCOMP 2002»
15 years 4 months ago
A Decision Procedure for Unitary Linear Quantum Cellular Automata
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
Christoph Dürr, Miklos Santha
GECCO
2007
Springer
157views Optimization» more  GECCO 2007»
15 years 10 months ago
Convergence phases, variance trajectories, and runtime analysis of continuous EDAs
Considering the available body of literature on continuous EDAs, one must state that many important questions are still unanswered, e.g.: How do continuous EDAs really work, and h...
Jörn Grahl, Peter A. N. Bosman, Stefan Minner
GI
2009
Springer
15 years 2 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz
EUSFLAT
2009
136views Fuzzy Logic» more  EUSFLAT 2009»
15 years 2 months ago
Fuzzy Continuous Evaluation in Training Systems Based on Virtual Reality
The approach of continuous evaluation is an important tool in the learning process. However, only recently it was applied in training based on virtual reality. This paper presents ...
Ronei Moraes, Liliane Machado
DGO
2008
114views Education» more  DGO 2008»
15 years 6 months ago
Towards a business continuity information network for rapid disaster recovery
Crisis Management and Disaster Recovery have gained immense importance in the wake of recent man and nature inflicted calamities such as the terrorist attacks of September 11th 20...
Khalid Saleem, Steven Luis, Yi Deng, Shu-Ching Che...