Sciweavers

66 search results - page 6 / 14
» You're doing it wrong
Sort
View
IUI
2003
ACM
14 years 2 months ago
End-user debugging for e-commerce
One of the biggest unaddressed challenges for the digital economy is what to do when electronic transactions go wrong. Consumers are frustrated by interminable phone menus, and lo...
Henry Lieberman, Earl Wagner
ACNS
2003
Springer
131views Cryptology» more  ACNS 2003»
14 years 2 months ago
On the Security of Two Threshold Signature Schemes with Traceable Signers
A (t, n) threshold signature scheme allows t or more group members to generate signatures on behalf of a group with n members, while any t−1 or less members cannot do the same th...
Guilin Wang, Xiaoxi Han, Bo Zhu
ECLIPSE
2007
ACM
14 years 21 days ago
Informing Eclipse API production and consumption
Application programming interfaces (APIs) inform application developers as to the functionality provided by a library and how to interact with it. APIs are a double-edged sword: i...
Reid Holmes, Robert J. Walker
3DPVT
2004
IEEE
159views Visualization» more  3DPVT 2004»
14 years 16 days ago
Dense Multiple View Stereo with General Camera Placement using Tensor Voting
We present a computational framework for the inference of dense descriptions from multiple view stereo with general camera placement. Thus far research on dense multiple view ster...
Philippos Mordohai, Gérard G. Medioni
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
13 years 10 months ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif