9110 search results - page 58 / 1822 » Formally-Based Design Evaluation |
101
click to vote
ENTCS
2007
14 years 9 months ago
2007
Wireless sensor networks are comprised of a vast number of ultra-small autonomous computing, communication and sensing devices, with restricted energy and computing capabilities, ...
161
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
Linguistic research and natural language processing employ large repositories of ordered trees. XML, a standard ordered tree model, and XPath, its associated language, are natural...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
This paper proposes a method of crawling Web servers connected to the Internet without imposing a high processing load. We are using the crawler for a field survey of the digital ...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we describe our approach to designing interface components that automate the logging of user input. These recorded logs of user-system interactions can serve as a b...
IVA
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes an application of the conversational agent Max in a real-world setting. The agent is employed as guide in a public computer museum, where he engages with visit...