Sciweavers

70 search results - page 4 / 14
» The state of funding for new initiatives in computer science...
Sort
View
ACSC
2009
IEEE
13 years 11 months ago
Verification of the SIP Transaction Using Coloured Petri Nets
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...
Lin Liu
HRI
2007
ACM
13 years 11 months ago
Experiments with a robotic computer: body, affect and cognition interactions
We present RoCo, the first robotic computer designed with the ability to move its monitor in subtly expressive ways that respond to and encourage its user's own postural move...
Cynthia Breazeal, Andrew Wang, Rosalind W. Picard
CAD
2000
Springer
13 years 7 months ago
Managing digital libraries for computer-aided design
This paper describes our initial efforts to deploy a digital library to support computer-aided collaborative design. At present, this experimental testbed, The Engineering Design ...
William C. Regli, Vincent A. Cicirello
PAAPP
2007
115views more  PAAPP 2007»
13 years 7 months ago
Quantum computing: beyond the limits of conventional computation
The quantum model of computation not only o ers entirely new ways to manipulate information, but also allows information processing tasks to be formulated in unconventional, genui...
Marius Nagy, Selim G. Akl
ICS
2010
Tsinghua U.
14 years 4 months ago
Pan-Private Streaming Algorithms
Collectors of confidential data, such as governmental agencies, hospitals, or search engine providers, can be pressured to permit data to be used for purposes other than that for ...
Cynthia Dwork, Moni Naor, Toniann Pitassi, Guy N. ...