9145 search results - page 410 / 1829 » Description Logic Systems |
210
click to vote
SEKE
1995
Springer
15 years 10 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
200
click to vote
DICTA
2003
15 years 8 months ago
2003
This paper describes a new technique for free-form object segmentation from a single arbitrary-viewed range image. The aim is to derive a surface description of objects that may va...
160
Voted
ENTCS
2007
15 years 6 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
148
click to vote
FUIN
2000
15 years 6 months ago
2000
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...
157
click to vote
SLOGICA
2002
15 years 6 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...