592 search results - page 52 / 119 » CTL Model Update: Semantics, Computations and Implementation |
SAC
2003
ACM
14 years 3 months ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
GW
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents a method of image processing used in a mono-vision system in order to study semiotic gestures. We present a robust method to track the hands and face of a perso...
ECEASST
2010
13 years 5 months ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
ESOP
2001
Springer
14 years 2 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
SEMCO
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper focuses on the development of an event driven media sharing repository to facilitate community awareness. In this paper, an event refers to a real-world occurrence that...