2152 search results - page 250 / 431 » An Abstract Account of Composition |
183
click to vote
ICISC
2000
15 years 7 months ago
2000
Abstract. Electronic payment systems for wireless devices need to take into account the limited computational and storage ability of such devices. Micropayment schemes seem well su...
149
click to vote
AAAI
1994
15 years 7 months ago
1994
Abstract- Human episodic memory provides a seemingly unlimited storage for everyday experiences, and a retrieval system that allows us to access the experiences with partial activa...
147
click to vote
ECSCW
1993
15 years 7 months ago
1993
: This paper attempts to take what has been essentially abstract thinking about how to support the design process and relocates it within the working and organisational context of ...
209
click to vote
GRC
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--Sequential pattern mining is a crucial but challenging task in many applications, e.g., analyzing the behaviors of data in transactions and discovering frequent patterns ...
140
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...