Sciweavers

3907 search results - page 337 / 782
» Time, Knowledge, and Choice
Sort
View
221
Voted
APGV
2008
ACM
200views Visualization» more  APGV 2008»
15 years 8 months ago
A psychophysical study of fixation behavior in a computer game
Prediction of gaze behavior in gaming environments can be a tremendously useful asset to game designers, enabling them to improve gameplay, selectively increase visual fidelity, a...
Veronica Sundstedt, Efstathios Stavrakis, Michael ...
AUSDM
2008
Springer
271views Data Mining» more  AUSDM 2008»
15 years 8 months ago
Classification of Brain-Computer Interface Data
In this paper we investigate the classification of mental tasks based on electroencephalographic (EEG) data for Brain Computer Interfaces (BCI) in two scenarios: off line and on-l...
Omar AlZoubi, Irena Koprinska, Rafael A. Calvo
ISARCS
2010
156views Hardware» more  ISARCS 2010»
15 years 8 months ago
A Road to a Formally Verified General-Purpose Operating System
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
Martin Decký
DALT
2008
Springer
15 years 8 months ago
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
Koen V. Hindriks, M. Birna van Riemsdijk
FSE
2008
Springer
141views Cryptology» more  FSE 2008»
15 years 8 months ago
Cryptanalysis of LASH
We show that the LASH-x hash function is vulnerable to attacks that trade time for memory, including collision attacks as fast as 2(4x/11) and preimage attacks as fast as 2(4x/7) ....
Ron Steinfeld, Scott Contini, Krystian Matusiewicz...