4460 search results - page 889 / 892 » Formal methods for interactive systems |
ELECTRONICMARKETS
2011
13 years 1 months ago
2011
Abstract Ambient Assisted Living (AAL) offers possibilities for promising new IT-based health care services that are resulting in new challenges for its design process. We introduc...
IPSN
2011
Springer
12 years 11 months ago
2011
Springer
While a number of acoustic localisation systems have been proposed over the last few decades, these have typically either relied on expensive dedicated microphone arrays and works...
ICMI
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we describe an interface consisting of a virtual showroom where a team of two highly realistic 3D agents presents product items in an entertaining and attractive wa...
HPDC
2006
IEEE
14 years 1 months ago
2006
IEEE
Parallel sequence-search tools are rising in popularity among computational biologists. With the rapid growth of sequence databases, database segmentation is the trend of the futu...
JCDL
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we present a method of parsing unstructured textual records briefly describing a person and their direct relatives, which we use in the construction of a browsing t...