3706 search results - page 109 / 742 » System Description: H-PILoT |
111
Voted
CHI
1999
ACM
15 years 5 months ago
1999
ACM
Models of learning and performing by exploration assume that the semantic distance between task descriptions and screen labels controls in part the usersÕ search strategies. Neve...
122
Voted
EEE
2004
IEEE
15 years 4 months ago
2004
IEEE
Web service technologies are becoming increasingly important for integrating systems and services. There is much activity and interest around standardization and usage of web serv...
88
Voted
BDA
2006
15 years 2 months ago
2006
We consider a publish/subscribe system for digital libraries which continuously evaluates queries over a large repository containing document descriptions. The subscriptions, the ...
80
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
GIS
2008
ACM
15 years 21 days ago
2008
ACM
This paper introduces an ant-based colony system for the representation of a verbal route description. It is grounded on a natural metaphor that mimics the behavior of ant colonie...