Sciweavers

18209 search results - page 57 / 3642
» Some Remarks on the Paper
Sort
View
SDL
2001
89views Hardware» more  SDL 2001»
13 years 11 months ago
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation
The purpose of this paper is to describe how computer-aided test generation methods can benefit from the time features and extensions to MSC, SDL and TTCN which are either already ...
Dieter Hogrefe, Beat Koch, Helmut Neukirchen
ACL
1998
13 years 11 months ago
A Procedure for Multi-Class Discrimination and some Linguistic Applications
The paper describes a novel computational tool for multiple concept learning. Unlike previous approaches, whose major goal is prediction on unseen instances rather than the legibi...
Vladimir Pericliev, Raúl E. Valdés-P...
SIGIR
2010
ACM
13 years 10 months ago
Can search systems detect users' task difficulty?: some behavioral signals
In this paper, we report findings on how user behaviors vary in tasks with different difficulty levels as well as of different types. Two behavioral signals: document dwell time a...
Jingjing Liu, Chang Liu, Jacek Gwizdka, Nicholas J...
ENTCS
2007
133views more  ENTCS 2007»
13 years 10 months ago
Modelchecking Correctness of Refactorings - Some Experiments
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...
H.-Christian Estler, Thomas Ruhroth, Heike Wehrhei...
COMBINATORICS
2000
63views more  COMBINATORICS 2000»
13 years 9 months ago
Some Pairwise Balanced Designs
A pairwise balanced design, B(K; v), is a block design on v points, with block sizes taken from K, and with every pair of points occurring in a unique block; for a fixed K, B(K) i...
Malcolm Greig