1404 search results - page 192 / 281 » Increasing Concurrency in Databases Using Program Analysis |
116
click to vote
ESE
2006
15 years 19 days ago
2006
Agile methods have evolved as a bottom-up approach to software development. However, as the software in embedded products is only one part of development projects, agile methods mu...
123
Voted
NFM
2011
14 years 7 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
105
Voted
KDD
2009
ACM
15 years 7 months ago
2009
ACM
As the number and size of large timestamped collections (e.g. sequences of digitized newspapers, periodicals, blogs) increase, the problem of efficiently indexing and searching su...
MIR
2004
ACM
15 years 6 months ago
2004
ACM
Although digital images indexing and querying techniques have extensively been studied for the last years, few systems are dedicated to medical images today while the need for con...
139
Voted
ICDAR
2011
IEEE
14 years 7 days ago
2011
IEEE
—To cope with the tremendous variations of writing styles encountered between different individuals, unconstrained automatic handwriting recognition systems need to be trained on...