Sciweavers

3731 search results - page 170 / 747
» Reduct Generation in Information Systems
Sort
View
198
Voted
HICSS
2007
IEEE
212views Biometrics» more  HICSS 2007»
16 years 1 months ago
Fully-automatic generation of user interfaces for multiple devices from a high-level model based on communicative acts
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
Jürgen Falb, Roman Popp, Thomas Röck, He...
AMAST
2004
Springer
16 years 14 days ago
A Generic Software Safety Document Generator
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
Ewen Denney, Ram Prasad Venkatesan
CICLING
2006
Springer
15 years 10 months ago
Creating a Testbed for the Evaluation of Automatically Generated Back-of-the-Book Indexes
The automatic generation of back-of-the book indexes seems to be out of sight of the Information Retrieval and Natural Language Processing communities, although the increasingly la...
Andras Csomai, Rada Mihalcea
IJON
2006
117views more  IJON 2006»
15 years 7 months ago
EEG classification using generative independent component analysis
We present an application of Independent Component Analysis (ICA) to the discrimination of mental tasks for EEG-based Brain Computer Interface systems. ICA is most commonly used w...
Silvia Chiappa, David Barber
DSN
2006
IEEE
16 years 1 months ago
Assessment of the Effect of Memory Page Retirement on System RAS Against Hardware Faults
The Solaris 10 Operating System includes a number of new features for predictive self-healing. One such feature is the ability of the Fault Management software to diagnose memory ...
Dong Tang, Peter Carruthers, Zuheir Totari, Michae...