3280 search results - page 293 / 656 » MiTAP for real users, real data, real problems |
158
click to vote
JSS
2006
15 years 6 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
166
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Relevance feedback has been taken as an essential tool to enhance content-based information retrieval systems by keeping the user in the retrieval loop. Among the fundamental rele...
159
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
— The increasing availability of sensing devices has made the possibility of context-aware pervasive computing applications real. However, constructing this software requires ext...
174
click to vote
DAWAK
1999
Springer
15 years 11 months ago
1999
Springer
Data mining can be used to extensively automate the data analysis process. Techniques for mining interval time series, however, have not been considered. Such time series are commo...
160
click to vote
DEXA
2010
Springer
15 years 7 months ago
2010
Springer
Significant research efforts have recently been dedicated to modeling and querying uncertain data. In this paper, we focus on skyline analysis of uncertain data, modeled as uncert...