16666 search results - page 2865 / 3334 » Descriptive and Computational Complexity |
199
click to vote
CHARME
2003
Springer
16 years 4 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
176
click to vote
CMMR
2003
Springer
16 years 4 days ago
2003
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the fi...
177
click to vote
CONCUR
2003
Springer
16 years 4 days ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
160
click to vote
DAGM
2003
Springer
16 years 4 days ago
2003
Springer
In this paper, we present a real-time PCB inspection system which can detect defects including the breaks in the wires and short circuit. The proposed inspection algorithm is based...
183
click to vote
ECML
2003
Springer
16 years 4 days ago
2003
Springer
A central issue in logical concept induction is the prospect of inconsistency. This problem may arise due to noise in the training data, or because the target concept does not fit...