4460 search results - page 194 / 892 » Formal methods for interactive systems |
162
click to vote
RWEB
2010
Springer
15 years 2 months ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
122
click to vote
WETICE
2000
IEEE
15 years 8 months ago
2000
IEEE
We introduce a conceptual framework that articulates the mechanics of collaboration for shared-workspace groupware: the low level actions and interactions that must be carried out...
153
Voted
ICMI
2009
Springer
15 years 10 months ago
2009
Springer
We have built a system that engages naive users in an audiovisual interaction with a computer in an unconstrained public space. We combine audio source localization techniques wit...
131
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Automatic counting of people, entering or exiting a region of interest, is very important for both business and security applications. This paper introduces an automatic and robus...
148
click to vote
GW
2005
Springer
15 years 9 months ago
2005
Springer
This paper compares different algorithms for tracking the position of fingers in a two-dimensional environment. Four algorithms have been implemented in EyesWeb, developed by DIS...