Sciweavers

3623 search results - page 673 / 725
» Functionally Modeled User Interfaces
Sort
View
CN
1999
77views more  CN 1999»
15 years 2 months ago
Efficiency Analysis of Brokers in the Electronic Marketplace
In this paper we analyze the behavior of e-commerce users based on actual logs from two large non-English e-brokers. We start by presenting a quantitative study of the behavior of...
Virgilio Almeida, Wagner Meira Jr., Victor F. Ribe...
TAP
2010
Springer
134views Hardware» more  TAP 2010»
15 years 9 days ago
Testing First-Order Logic Axioms in Program Verification
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
Ki Yung Ahn, Ewen Denney
TSD
2010
Springer
15 years 9 days ago
Automatic Detection and Evaluation of Edentulous Speakers with Insufficient Dentures
Abstract. Dental rehabilitation by complete dentures is a state-of-the-art approach to improve functional aspects of the oral cavity of edentulous patients. It is important to assu...
Tobias Bocklet, Florian Hönig, Tino Haderlein...
IACR
2011
129views more  IACR 2011»
14 years 2 months ago
Bounded Vector Signatures and their Applications
Although malleability is undesirable in traditional digital signatures, schemes with limited malleability properties enable interesting functionalities that may be impossible to o...
Lei Wei, Scott E. Coull, Michael K. Reiter
159
Voted
WWW
2008
ACM
16 years 3 months ago
Contextual advertising by combining relevance with click feedback
Contextual advertising supports much of the Web's ecosystem today. User experience and revenue (shared by the site publisher ad the ad network) depend on the relevance of the...
Deepayan Chakrabarti, Deepak Agarwal, Vanja Josifo...