3443 search results - page 271 / 689 » More Algebras for Determiners |
182
click to vote
OTM
2005
Springer
16 years 5 days ago
2005
Springer
We view match as an operator that takes two graph-like structures (e.g., XML schemas) and produces a mapping between the nodes of these graphs that correspond semantically to each ...
184
click to vote
TACAS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
179
click to vote
WINE
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we extend the notion of multi-unit combinatorial reverse auction by adding a new dimension to the goods at auction. In such a new type of combinatorial auction a buye...
167
click to vote
ACII
2005
Springer
16 years 4 days ago
2005
Springer
The applied prospect of the wearable computer is very extensive，in order to put wearable computer into practice, one of key technologies to be solved is to improve antivibration ...
150
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
We propose an enhanced mechanism for selecting partners for multi-attribute negotiation. The mechanism employs possibilistic case-based reasoning. The possibility of successful ne...