1746 search results - page 300 / 350 » A Constructive Semantics for ALC |
88
Voted
JUCS
2006
15 years 21 days ago
2006
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
116
Voted
KES
2006
Springer
15 years 21 days ago
2006
Springer
Annotations of multimedia documents typically have been pursued in two different directions. Either previous approaches have focused on low level descriptors, such as dominant colo...
103
click to vote
KI
2006
Springer
15 years 21 days ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
87
Voted
FUIN
2007
15 years 20 days ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
91
Voted
IJDAR
2007
15 years 20 days ago
2007
Language usage over computer mediated discourses, like chats, emails and SMS texts, significantly differs from the standard form of the language. An urge towards shorter message l...