Sciweavers

1688 search results - page 287 / 338
» The Complexity of Rationalizing Matchings
Sort
View
173
Voted
JAIR
2007
146views more  JAIR 2007»
15 years 5 months ago
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
TSP
2008
90views more  TSP 2008»
15 years 5 months ago
Array-Based QR-RLS Multichannel Lattice Filtering
An array-based algorithm for multichannel lattice filtering is proposed. The filter is formed by a set of units that are adapted locally and concurrently using recursions that clos...
J. Gomes, V. A. N. Barroso
CVPR
2008
IEEE
16 years 7 months ago
Regularizing 3D medial axis using medial scaffold transforms
This paper addresses a key bottleneck in the use of the 3D medial axis (MA) representation, namely, how the complex MA structure can be regularized so that similar, within-categor...
Ming-Ching Chang, Benjamin B. Kimia
CCE
2004
15 years 5 months ago
Mathematical modelling and design of an advanced once-through heat recovery steam generator
The once-through heat recovery steam generator (HRSG) design is ideally matched to very high temperature and pressure, well into the supercritical range. Moreover this type of boi...
Marie-Noëlle Dumont, Georges Heyen
ENTCS
2000
60views more  ENTCS 2000»
15 years 5 months ago
Incompleteness of Behavioral Logics
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
Samuel R. Buss, Grigore Rosu