2940 search results - page 556 / 588 » Relational Parametricity and Control |
ELPUB
2007
ACM
15 years 1 months ago
2007
ACM
A few years ago a portal for bachelor and master theses from Flemish university colleges was established by means of the open source repository software DoKS. At present approxima...
100
click to vote
SIGIR
2010
ACM
15 years 1 months ago
2010
ACM
The context of a search query often provides a search engine meaningful hints for answering the current query better. Previous studies on context-aware search were either focused ...
HRI
2007
ACM
15 years 1 months ago
2007
ACM
This paper presents results, outcomes and conclusions from a series of Human Robot Interaction (HRI) trials which investigated how a robot should approach a human in a fetch and c...
ICDCS
2007
IEEE
15 years 1 months ago
2007
IEEE
Instant messaging (IM) has become increasingly popular due to its quick response time, its ease of use, and possibility of multitasking. It is estimated that there are several mil...
139
click to vote
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
An ad-hoc network comprises mobile nodes that cooperate with each other using wireless connections to route both data and control packets within the network. As the low transmissi...