2501 search results - page 445 / 501 » Logics with Rank Operators |
166
click to vote
TPCD
1994
15 years 5 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
137
Voted
VVEIS
2007
15 years 5 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
142
click to vote
AAAI
2008
15 years 5 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
154
click to vote
DEXA
2010
Springer
15 years 5 months ago
2010
Springer
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...
133
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
Due to the ease with which convincing digital image forgeries can be created, a need has arisen for digital forensic techniques capable of detecting image manipulation. Once image...