40 search results - page 5 / 8 » A Data Symmetry Reduction Technique for Temporal-epistemic L... |
DLOG
2007
13 years 9 months ago
2007
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
PKDD
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
FUZZIEEE
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Feature Selection (FS) is a technique for dimensionality reduction. Its aims are to select a subset of the original features of a dataset which are rich in the most use...
JEI
2000
13 years 7 months ago
2000
Motion estimation is a temporal image compression technique, where an n x n block of pixels in the current frame of a video sequence is represented by a motion vector with respect...