588 search results - page 30 / 118 » Minimality Results for the Spatial Logics |
GIS
2010
ACM
13 years 2 months ago
2010
ACM
It is now common for video; real-time and collected, mobile and static, to be georeferenced and stored in large archives for users of expert systems to access and interact with. I...
DAGM
2010
Springer
13 years 8 months ago
2010
Springer
Interactive motion segmentation is an important task for scene understanding and analysis. Despite recent progress state-of-theart approaches still have difficulties in adapting to...
KR
2010
Springer
13 years 11 months ago
2010
Springer
We investigate the computational complexity of axiom pinpointing, which is the task of finding minimal subsets of a Description Logic knowledge base that have a given consequence...
SYNTHESE
2008
13 years 7 months ago
2008
Axiomatic characterization results in social choice theory are usually compared either regarding the normative plausibility or regarding the logical strength of the axioms involved...
RSCTC
1993
Springer
13 years 11 months ago
1993
Springer
This paper focuses on the application of rough set constructs to inductive learning from a database. A design guideline is suggested, which provides users the option to choose app...