Sciweavers

6829 search results - page 1138 / 1366
» Quantitative Generalizations of Languages
Sort
View
FIW
2007
133views Communications» more  FIW 2007»
15 years 5 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...
FMOODS
2008
15 years 5 months ago
Symbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
IIWAS
2008
15 years 5 months ago
Supporting mobile payment QOS by data mining GSM network traffic
In mobile commerce, short-message-service (SMS) is an important technique for delivering payment instruction. A payment model "SMS Credit" was proposed earlier [1]. Such...
Edison Lai, Simon Fong, Yang Hang
LREC
2008
115views Education» more  LREC 2008»
15 years 5 months ago
Extracting Lexical Semantic Knowledge from Wikipedia and Wiktionary
Recently, collaboratively constructed resources such as Wikipedia and Wiktionary have been discovered as valuable lexical semantic knowledge bases with a high potential in diverse...
Torsten Zesch, Christof Müller, Iryna Gurevyc...
LREC
2008
105views Education» more  LREC 2008»
15 years 5 months ago
Combining Terminology Resources and Statistical Methods for Entity Recognition: an Evaluation
Terminologies and other knowledge resources are widely used to aid entity recognition in specialist domain texts. As well as providing lexicons of specialist terms, linkage from t...
Angus Roberts, Robert Gaizasukas, Mark Hepple, Yik...
« Prev « First page 1138 / 1366 Last » Next »