1008 search results - page 147 / 202 » Canonicity! |
124
click to vote
SG
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In the field of the architectural heritage, the representation of artefacts, particularly for communication purposes, has benefited from the development of computer-based...
100
click to vote
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
125
click to vote
VISUAL
2005
Springer
15 years 8 months ago
2005
Springer
This contribution details how conceptual characterizations of route knowledge can provide the basis for graphical route information in a cognitively adequate way. The approach is b...
114
click to vote
ADBIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Query rewriting method is proposed for the heterogeneous information integration infrastructure formed by the subject mediator environment. Local as View (LAV) approach t...
142
click to vote
AMEC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In a combinatorial auction, there are multiple items for sale, and bidders are allowed to place a bid on a bundle of these items rather than just on the individual items....