Sciweavers

2467 search results - page 364 / 494
» Finite State Machines
Sort
View
EDUTAINMENT
2006
Springer
15 years 4 months ago
Effects of Guided and Unguided Style Learning on User Attention in a Virtual Environment
Abstract. In this paper, we investigated the effects of guided and unguided style VR learning on user attention and retained knowledge. We conducted a study where users performed g...
Jayoung J. Goo, Kyoung Shin Park, Moonhoen Lee, Ji...
85
Voted
FMCAD
2006
Springer
15 years 4 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
AICCSA
2001
IEEE
95views Hardware» more  AICCSA 2001»
15 years 4 months ago
An Environment Physically Distributed in Java
- This paper presents an environment for development of distributed applications. It consists basically of adding to language Java a library of methods to manipulate shared objects...
Denivaldo Lopes, Zair Abdelouahab
111
Voted
CPA
1995
143views Cryptology» more  CPA 1995»
15 years 4 months ago
Crypto in Europe - Markets, Law and Policy
Much of the debate on cryptography has assumed that the real tension is between the state’s desire for effective policing and the privacy of the individual. We argue that this i...
Ross J. Anderson
ICML
1994
IEEE
15 years 4 months ago
A Modular Q-Learning Architecture for Manipulator Task Decomposition
Compositional Q-Learning (CQ-L) (Singh 1992) is a modular approach to learning to performcomposite tasks made up of several elemental tasks by reinforcement learning. Skills acqui...
Chen K. Tham, Richard W. Prager