523 search results - page 101 / 105 » Online Testing of Real-time Systems Using Uppaal |
JCDL
2004
ACM
14 years 29 days ago
2004
ACM
The number of research papers available is growing at a staggering rate. Researchers need tools to help them find the papers they should read among all the papers published each y...
CIKM
2009
Springer
14 years 5 days ago
2009
Springer
The existence and use of standard test collections in information retrieval experimentation allows results to be compared between research groups and over time. Such comparisons, ...
SIGMOD
1997
ACM
13 years 11 months ago
1997
ACM
Computing multiple related group-bys and aggregates is one of the core operations of On-Line Analytical Processing (OLAP) applications. Recently, Gray et al. [GBLP95] proposed the...
BMCBI
2008
13 years 7 months ago
2008
Background: Automated extraction of protein-protein interactions (PPI) is an important and widely studied task in biomedical text mining. We propose a graph kernel based approach ...
KDD
2006
ACM
14 years 8 months ago
2006
ACM
We describe a data mining system to detect frauds that are camouflaged to look like normal activities in domains with high number of known relationships. Examples include accounti...