1941 search results - page 322 / 389 » Reasoning about Computations Using Two-Levels of Logic |
127
Voted
CHI
1998
ACM
15 years 7 months ago
1998
ACM
Collaboration in current real-time groupware systems is often an awkward and clumsy process. We hypothesize that better support for workspace awareness can improve the usability o...
107
click to vote
CONEXT
2009
ACM
15 years 4 months ago
2009
ACM
Enterprise and data center networks consist of a large number of complex networked applications and services that depend upon each other. For this reason, they are difficult to ma...
132
click to vote
HRI
2010
ACM
15 years 10 months ago
2010
ACM
—Speaking using unconstrained natural language is an intuitive and flexible way for humans to interact with robots. Understanding this kind of linguistic input is challenging be...
143
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
At the core of contemporary high performance computer systems is the communication infrastructure. For this reason, there has been a lot of work on providing low-latency, high-ban...
127
Voted
HPDC
2006
IEEE
15 years 9 months ago
2006
IEEE
Grid computing has reached the stage where deployments are mature and many collaborations run in production mode. Mature Grid deployments offer the opportunity for revisiting and ...