5122 search results - page 160 / 1025 » Comparing Consequence Relations |
153
Voted
KR
2010
Springer
15 years 7 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...
155
Voted
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
104
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
120
Voted
EGOV
2009
Springer
15 years 7 months ago
2009
Springer
About fifteen years of e-government research (EGR) lead to a research field that is looking forward to define an identity as a proper and autonomous scientific discipline. This pap...
139
Voted
DAGM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract In this paper we extend a multi-camera model for simultaneous estimation of 3d position, normals, and 3d motion of surface patches [17] to be able to handle brightness cha...