1007 search results - page 126 / 202 » The Complexity of Futile Questioning |
99
Voted
STOC
1998
ACM
15 years 5 months ago
1998
ACM
Current formal models for quantum computation deal only with unitary gates operating on “pure quantum states”. In these models it is difficult or impossible to deal formally w...
110
Voted
HICSS
1994
IEEE
15 years 4 months ago
1994
IEEE
Meeting research and especially research on Computer Supported Meetings of natural teams is not available in abundance. What is reported of meetings often uses a rather limited th...
CHI
2009
ACM
15 years 4 months ago
2009
ACM
Due to the increasing penetration of mobile phones even into poor communities, mobile payment schemes could bring formal financial services to the "unbanked". However, b...
117
Voted
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
111
Voted
EMISA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract: Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Langua...