Sciweavers

10263 search results - page 1824 / 2053
» From Use Cases to System Operation Specifications
Sort
View
188
Voted
LLL
1999
Springer
15 years 10 months ago
Learning to Lemmatise Slovene Words
Abstract. Automatic lemmatisation is a core application for many language processing tasks. In inflectionally rich languages, such as Slovene, assigning the correct lemma to each ...
Saso Dzeroski, Tomaz Erjavec
MM
2010
ACM
126views Multimedia» more  MM 2010»
15 years 6 months ago
Gaze awareness and interaction support in presentations
: Gaze Awareness and Interaction Support in Presentations Kar-Han Tan, Dan Gelb, Ramin Samadani, Ian Robinson, Bruce Culbertson, John Apostolopoulos HP Laboratories HPL-2010-187 D...
Kar-Han Tan, Dan Gelb, Ramin Samadani, Ian N. Robi...
ICDE
2008
IEEE
195views Database» more  ICDE 2008»
16 years 7 months ago
Scalable Rule-Based Gene Expression Data Classification
Abstract-- Current state-of-the-art association rule-based classifiers for gene expression data operate in two phases: (i) Association rule mining from training data followed by (i...
Mark A. Iwen, Willis Lang, Jignesh M. Patel
GIS
2008
ACM
16 years 7 months ago
Finding regional co-location patterns for sets of continuous variables in spatial datasets
This paper proposes a novel framework for mining regional colocation patterns with respect to sets of continuous variables in spatial datasets. The goal is to identify regions in ...
Christoph F. Eick, Jean-Philippe Nicot, Rachana Pa...
BIRTHDAY
2009
Springer
16 years 29 days ago
Hybrid BDD and All-SAT Method for Model Checking
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
Avi Yadgar, Orna Grumberg, Assaf Schuster
« Prev « First page 1824 / 2053 Last » Next »