Sciweavers

15644 search results - page 2810 / 3129
» Brittle System Analysis
Sort
View
FIW
2007
133views Communications» more  FIW 2007»
15 years 8 months ago
Conflict Detection in Call Control Using First-Order Logic Model Checking
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...
GRAPHICSINTERFACE
2008
15 years 8 months ago
An empirical characterisation of electronic document navigation
To establish an empirical foundation for analysis and redesign of document navigation tools, we implemented a system that logs all user actions within Microsoft Word and Adobe Rea...
Jason Alexander, Andy Cockburn
HCI
2007
15 years 8 months ago
An Epileptic Seizure Prediction Algorithm from Scalp EEG Based on Morphological Filter and Kolmogorov Complexity
Epilepsy is the most common neurological disorder in the world, second only to stroke. There are nearly 15 million patients suffer from refractory epilepsy, with no available ther...
Guanghua Xu, Jing Wang, Qing Zhang, Junming Zhu
HIS
2007
15 years 8 months ago
Genetic Programming meets Model-Driven Development
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
Thomas Weise, Michael Zapf, Mohammad Ullah Khan, K...
ICMLA
2007
15 years 8 months ago
Soft Failure Detection Using Factorial Hidden Markov Models
In modern business, educational, and other settings, it is common to provide a digital network that interconnects hardware devices for shared access by the users (e.g., in an ofï¬...
Guillaume Bouchard, Jean-Marc Andreoli
« Prev « First page 2810 / 3129 Last » Next »