2786 search results - page 279 / 558 » A Practical Technique for Process Abstraction |
191
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
199
click to vote
AGTIVE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
170
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
147
click to vote
ICIAP
2005
ACM
16 years 6 months ago
2005
ACM
Abstract. Combining different algorithms submitted to the Third International Fingerprint Verification Competition (FVC2004) is studied. For this work, the matching results of more...
209
click to vote
SAMT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper presents an approach to semi-automate photo annotation. Instead of using content-recognition techniques this approach leverages context information available a...