Sciweavers

4498 search results - page 496 / 900
» How to Invent Functions
Sort
View
ICDM
2007
IEEE
301views Data Mining» more  ICDM 2007»
15 years 10 months ago
Stream Event Detection: A Unified Framework for Mining Outlier, Change and Burst Simultaneously over Data Stream
Event detection is one of the most important issues of event processing system, especially Complex Event Processing (CEP). Outlier event, change event and burst event are three ty...
Zhijian Yuan, Kai Du, Yan Jia, Jiajia Miao
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 10 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
ASWC
2006
Springer
15 years 10 months ago
Mediation Enabled Semantic Web Services Usage
The Semantic Web services has become a challenging research topic in the last half of decade. Various frameworks offer means to semantically describe all the related aspects of Sem...
Emilia Cimpian, Adrian Mocan, Michael Stollberg
CAV
2006
Springer
133views Hardware» more  CAV 2006»
15 years 10 months ago
Antichains: A New Algorithm for Checking Universality of Finite Automata
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger...
CLEANDB
2006
ACM
112views Database» more  CLEANDB 2006»
15 years 10 months ago
Generic Entity Resolution with Data Confidences
We consider the Entity Resolution (ER) problem (also known as deduplication, or merge-purge), in which records determined to represent the same real-world entity are successively ...
David Menestrina, Omar Benjelloun, Hector Garcia-M...