2242 search results - page 279 / 449 » From testing to anti-product development |
172
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
223
click to vote
ADS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this pilot study, a neural architecture for temporal emotion recognition from image sequences is proposed. The investigation aims at the development of key principles ...
150
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The rapid growth of on-line information including multimedia contents during the last decade caused a major problem for Web users - there is too much information availabl...
151
click to vote
PATAT
2000
Springer
15 years 10 months ago
2000
Springer
The main aim of this paper is to consider university examination timetabling problems as multicriteria decision problems. A new multicriteria approach to solving such problems is p...
169
click to vote
DRR
2010
15 years 9 months ago
2010
In this paper we present an OCR validation module, implemented for the System for Preservation of Electronic Resources (SPER) developed at the U.S. National Library of Medicine.1 ...