4488 search results - page 746 / 898 » Focusing Search by Using Problem Solving Experience |
261
click to vote
VLDB
2006
ACM
16 years 5 months ago
2006
ACM
Managing large-scale time series databases has attracted significant attention in the database community recently. Related fundamental problems such as dimensionality reduction, tr...
128
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
183
Voted
CLEF
2007
Springer
15 years 11 months ago
2007
Springer
This paper summarizes our empirical study of cross-language and cross-media image retrieval at the CLEF image retrieval track (ImageCLEF2007). In this year, we participated in the ...
166
click to vote
P2P
2003
IEEE
15 years 10 months ago
2003
IEEE
We present the NanoPeers architecture paradigm, a peer-to-peer network of lightweight devices, lacking all or most of the capabilities of their computer-world counterparts. We ide...
160
click to vote
UAI
2000
15 years 6 months ago
2000
Decision theory does not traditionally include uncertainty over utility functions. We argue that the a person's utility value for a given outcome can be treated as we treat o...