Sciweavers

2278 search results - page 439 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
154
Voted
JUCS
2008
281views more  JUCS 2008»
15 years 3 months ago
Creating Adaptive e-Learning Board Games for School Settings Using the ELG Environment
: The use of digital games in education is well documented in the literature. They have been used in preschool, K-12, the university. A specific type of digital games is board game...
Symeon Retalis
237
Voted
PODS
2009
ACM
119views Database» more  PODS 2009»
16 years 4 months ago
Exceeding expectations and clustering uncertain data
Database technology is playing an increasingly important role in understanding and solving large-scale and complex scientific and societal problems and phenomena, for instance, un...
Sudipto Guha, Kamesh Munagala
119
Voted
ISMB
1993
15 years 5 months ago
Detection of Correlations in tRNA Sequences with Structural Implications
Using a flexible representation of biological sequences, we have performed a comparative analysis of 1208 known tRNA sequences. We believe we our technique is a more sensitive met...
Tod M. Klingler, Douglas L. Brutlag
129
Voted
LISA
2007
15 years 6 months ago
Assisted Firewall Policy Repair Using Examples and History
Firewall policies can be extremely complex and difficult to maintain, especially on networks with more than a few hundred machines. The difficulty of configuring a firewall proper...
Robert M. Marmorstein, Phil Kearns
149
Voted
KES
2006
Springer
15 years 3 months ago
Spiking Neural Network Based Classification of Task-Evoked EEG Signals
This paper presents an improved technique to detect evoked potentials in continuous EEG recordings using a spiking neural network. Human EEG signals recorded during spell checking,...
Piyush Goel, Honghai Liu, David J. Brown, Avijit D...