1438 search results - page 59 / 288 » An Expressive Extension of TLC |
100
click to vote
RR
2010
Springer
14 years 8 months ago
2010
Springer
Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities o...
99
Voted
ICFEM
2009
Springer
14 years 8 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
108
click to vote
AVSS
2009
IEEE
14 years 8 months ago
2009
IEEE
A novel algorithm for 3D face recognition based point cloud rotations, multiple projections, and voted keypoint matching is proposed and evaluated. The basic idea is to rotate eac...
95
Voted
FOIKS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Argumentation is a reasoning model based on the construction and the evaluation of arguments. In his seminal paper, Dung has proe most abstract argumentation framework. I...
88
Voted
QEST
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...