Sciweavers

887 search results - page 128 / 178
» A Science of Reasoning
Sort
View
HICSS
2006
IEEE
80views Biometrics» more  HICSS 2006»
14 years 2 months ago
A Stakeholder Perspective on Successful Electronic Payment Systems Diffusion
Many proposals for electronic payment systems (EPS) have been made but the great majority have failed to achieve widespread adoption. The reasons why some proposals succeed and ot...
Sangjo Oh
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
14 years 2 months ago
A Formal Approach towards Assessing the Effectiveness of Anti-Spam Procedures
Spam e-mails have become a serious technological and economic problem. So far we have been reasonably able to resist spam e-mails and use the Internet for regular communication by...
Guido Schryen
HICSS
2006
IEEE
115views Biometrics» more  HICSS 2006»
14 years 2 months ago
Lookahead Cascade for Table Access on Small Devices
Users increasingly expect access to Web data from a wide range of devices, both wired and wireless. The goal of our research is to inform the design of applications that support d...
Rui Zhang, Carolyn R. Watters, Jack Duffy
LICS
2006
IEEE
14 years 2 months ago
Saturated Semantics for Reactive Systems
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
Filippo Bonchi, Barbara König, Ugo Montanari
SIGCSE
2006
ACM
147views Education» more  SIGCSE 2006»
14 years 2 months ago
Image understanding as a second course in AI: preparing students for research
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
Roxanne L. Canosa