6167 search results - page 976 / 1234 » Can Refinement be Automated |
132
click to vote
LOPSTR
2007
Springer
15 years 7 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
122
Voted
LOPSTR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...
131
Voted
LPAR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...
123
Voted
PREMI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Robust tracking of objects in video is a key challenge in computer vision with applications in automated surveillance, video indexing, human-computer-interaction, gesture...
88
Voted
RR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...