278 search results - page 39 / 56 » A Framework for Counterexample Generation and Exploration |
98
Voted
SPRINGSIM
2010
14 years 10 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 ...
137
Voted
EDBT
2009
ACM
14 years 10 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...
200
Voted
ICDE
2007
IEEE
16 years 1 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...
102
click to vote
PERVASIVE
2010
Springer
15 years 7 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...
112
Voted
ICMCS
2007
IEEE
15 years 6 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...