564 search results - page 60 / 113 » Do interactive systems need specifications |
127
click to vote
NIME
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes the audio human computer interface experiments of ixi in the past and outlines the current platform for future research. ixi software [5] was founded by Thor ...
134
click to vote
JSAC
2006
15 years 4 months ago
2006
Multihop wireless mesh networks (WMNs) are finding ever-growing acceptance as a viable and effective solution to ubiquitous broadband Internet access. This paper addresses the secu...
152
click to vote
CAEPIA
2009
Springer
15 years 5 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
153
click to vote
CRITICAL
2005
15 years 6 months ago
2005
This paper describes an ongoing design experience conducted in the Neonatal Intensive Care Unit for Premature Newborns. The specificity and the delicateness of such a setting prov...
130
click to vote
LREC
2008
15 years 5 months ago
2008
In the present paper we report on the development of a cluster of web services of language technology for Portuguese that we named as LXService. These web services permit the dire...