1738 search results - page 245 / 348 » Local Consistency and SAT-Solvers |
258
click to vote
GLOBAL
2003
Springer
15 years 11 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
171
click to vote
HIPC
2003
Springer
15 years 11 months ago
2003
Springer
High performance computers currently under construction, such as IBM’s Blue Gene/L, consisting of large numbers (64K) of low cost processing elements with relatively small local...
153
click to vote
ICCSA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A progressive curve representation based on reverse subdivision is introduced. This consists of three main components. First, multi-resolution structures for some common ...
156
click to vote
IDA
2003
Springer
15 years 11 months ago
2003
Springer
Rule systems have failed to attract much interest in large data analysis problems because they tend to be too simplistic to be useful or consist of too many rules for human interpr...
179
Voted
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We use a simple yet powerful higher-order conditional random field (CRF) to model optical flow. It consists of a standard photoconsistency cost and a prior on affine mo...