7335 search results - page 202 / 1467 » Scene Based Reasoning |
118
Voted
KSEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
164
Voted
FMCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
127
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...
118
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....
91
Voted
ENTCS
2010
15 years 3 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...