9110 search results - page 1386 / 1822 » Formally-Based Design Evaluation |
155
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
Economic incentives are a powerful way of shaping consumer behavior towards more commercially efficient and environmentally sustainable patterns. In this paper, we explore the id...
166
click to vote
ICA3PP
2009
Springer
15 years 11 months ago
2009
Springer
In-memory data sharing for grids allow location-transparent access to data stored in volatile memory. Existing Grid middlewares typ- ically support only explicit data transfer betw...
326
Voted
ICIAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
187
Voted
MKM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Active mathematical documents are distinguished from traditional paper-oriented ones by their ability to interactively adapt to a reader’s inputs. This includes changes...
228
click to vote
SCIA
2009
Springer
15 years 11 months ago
2009
Springer
A feature extraction method using multi-frequency bands is proposed for face recognition, named as the Multi-band Gradient Component Pattern (MGCP). The MGCP captures discriminativ...