2887 search results - page 503 / 578 » Name Generation and Linearity |
176
click to vote
CGO
2007
IEEE
16 years 10 days ago
2007
IEEE
This paper proposes the use of empirical modeling techniques for building microarchitecture sensitive models for compiler optimizations. The models we build relate program perform...
174
click to vote
ATAL
2007
Springer
16 years 5 days ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
157
click to vote
CAV
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
177
click to vote
WILF
2007
Springer
16 years 2 days ago
2007
Springer
Background: Quantitative analysis of differential protein expressions requires to align temporal elution measurements from liquid chromatography coupled to mass spectrometry (LC/M...
166
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
The explosive growth of the vision data motivates the recent studies on efficient data indexing methods such as locality-sensitive hashing (LSH). Most existing approaches perform...