257 search results - page 18 / 52 » Specification of Real-Time Interaction Constraints |
EKAW
2006
Springer
15 years 3 months ago
2006
Springer
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...
110
click to vote
UTP
2010
14 years 9 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
156
click to vote
MM
2004
ACM
15 years 5 months ago
2004
ACM
Advanced human computer interaction requires automatic reading of human face in order to make the computer interact with human in the same way as human-to-human communication. We ...
157
click to vote
MMM
2005
Springer
15 years 5 months ago
2005
Springer
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...
100
click to vote
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we present a new scheme for detection and tracking of specific objects in a knowledge-based framework. The scheme uses a supervised learning method: Support Vector M...