8337 search results - page 144 / 1668 » Reasoning With Characteristic Models |
132
click to vote
KER
2008
15 years 4 months ago
2008
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature. We aim to summarise the current stat...
126
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
111
Voted
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— In this paper, we propose a multi-level shadow identification scheme which is generally applicable without restrictions on the number of light sources, illumination conditions...
137
Voted
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
130
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...