Sciweavers

8903 search results - page 233 / 1781
» Alternative
Sort
View
COLING
2002
15 years 6 months ago
Hierarchical Orderings of Textual Units
Text representation is a central task for any approach to automatic learning from texts. It requires a format which allows to interrelate texts even if they do not share content w...
Alexander Mehler
COMBINATORICS
2002
92views more  COMBINATORICS 2002»
15 years 6 months ago
On the Excluded Minors for Matroids of Branch-Width Three
Knowing the excluded minors for a minor-closed matroid property provides a useful alternative characterization of that property. It has been shown in [R. Hall, J. Oxley, C. Semple...
Petr Hlinený
ET
2002
108views more  ET 2002»
15 years 6 months ago
Diagnosis Strategies for Hardware or Software Systems
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...
Maisaa Khalil, Chantal Robach, Franc Novak
FMSD
1998
77views more  FMSD 1998»
15 years 6 months ago
An Analysis of Bitstate Hashing
The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by reachability analyses for applications that defeat anal...
Gerard J. Holzmann
CN
1999
104views more  CN 1999»
15 years 6 months ago
User Adaptable Multimedia Presentations for the World Wide Web
We propose a generic solution for user adaptation of synchronized multimedia presentations. We consider adaptation as a transformation problem: the user specifies a predicate that...
Franck Rousseau, J. Antonio García-Mac&iacu...