253 search results - page 24 / 51 » How to Transform an Analyzer into a Verifier |
IJCAI
2001
13 years 9 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...
ICIP
2006
IEEE
14 years 9 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...
VLDB
1998
ACM
13 years 11 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 ...
EWCBR
2008
Springer
13 years 9 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...
CSE
2009
IEEE
14 years 2 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...