253 search results - page 24 / 51 » How to Transform an Analyzer into a Verifier |
128
Voted
IJCAI
2001
15 years 1 months ago
2001
Certain planning systems that deal with quantitative time constraints have used an underlying Simple Temporal Problem solver to ensure temporal consistency of plans. However, many...
85
Voted
ICIP
2006
IEEE
16 years 2 months ago
2006
IEEE
Inter-color correlation between the luminance component and chrominance components has been utilized for color image coding for years. However, the correlation has not been clearl...
93
Voted
VLDB
1998
ACM
15 years 4 months ago
1998
ACM
This paper describes the external forces that motivate financial institutions to collect, aggregate, analyze, and mine data so that it can be transformed into information, one of ...
82
Voted
EWCBR
2008
Springer
15 years 2 months ago
2008
Springer
"Similar problems have similar solutions" is a basic tenet of case-based inference. However this is not satisfied for CBR systems where the task is to achieve original so...
81
Voted
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—This paper reports on measurement results for the simultaneous use of multiple WLAN APs in a large area. We describe some problems of applying legacy IEEE 802.11 WLAN technologi...