1115 search results - page 13 / 223 » An Abstract Look at Realizability |
102
click to vote
PERSUASIVE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper, we further develop the idea of combining pervasive computing techniques with electronic payment systems to create activity-based micro-incentives. Economic...
103
Voted
TROB
2002
15 years 1 months ago
2002
Abstract--This paper investigates the synthesis of a spatial stiffness matrix using simple line springs. A new algorithm is developed, which enables the selection of constituent sp...
114
click to vote
MEMBRANE
2009
Springer
15 years 8 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
102
click to vote
METAINFORMATICS
2004
Springer
15 years 7 months ago
2004
Springer
Spatial structure supporting applications offer an abstract level of what can be found in the real world. However, in many systems, objects are aligned straight, rotation is not p...
110
Voted
PAM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Although mobile hand-held devices (MHDs) are ubiquitous today, little is know about how they are used--especially at home. In this paper, we cast a first look on mobile h...