2501 search results - page 214 / 501 » Obligations and Their Interaction with Programs |
126
click to vote
STOC
2010
ACM
16 years 2 months ago
2010
ACM
We prove that the complexity class QIP, which consists of all problems having quantum interactive proof systems, is contained in PSPACE. This containment is proved by applying a p...
127
click to vote
EUROITV
2007
Springer
15 years 10 months ago
2007
Springer
The goal of this research project is to investigate the use of technology in supporting social relationships by helping users throughout the decisional process (“What program cou...
138
click to vote
ISWC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes our first experiments in developing kinetic electronic garments, within the context of fashion and personal expression. We have integrated the shape memory al...
143
click to vote
SAT
2004
Springer
15 years 10 months ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
230
click to vote
EWHCI
1994
15 years 8 months ago
1994
An experiment was carried out to estimate the effect of sound feedback on the work of a plant operator. Eight students of computer science operated a process simulation program of...