278 search results - page 39 / 56 » A Framework for Counterexample Generation and Exploration |
SPRINGSIM
2010
13 years 6 months ago
2010
—Data Fusion (DF) process is in the interest of the military community since it provides the opportunity to achieve information superiority. The System Entity Structure (SES) is ...
EDBT
2009
ACM
13 years 6 months ago
2009
ACM
Data Stream Management Systems (DSMS) operate under strict performance requirements. Key to meeting such requirements is to efficiently handle time-critical tasks such as managing...
ICDE
2007
IEEE
14 years 9 months ago
2007
IEEE
The application of frequent patterns in classification appeared in sporadic studies and achieved initial success in the classification of relational data, text documents and graph...
PERVASIVE
2010
Springer
14 years 3 months ago
2010
Springer
As sensing technologies become increasingly distributed and democratized, citizens and novice users are becoming responsible for the kinds of data collection and analysis that have...
ICMCS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper considers extractive summarization of Chinese spoken documents. In contrast to conventional approaches, we attempt to deal with the extractive summarization problem und...