3273 search results - page 129 / 655 » types 2007 |
155
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Key idea of this work is to appropriately extend one prominent generic agent architecture, namely InteRRap [8], to the case of a quantum pattern matching (QPM) based type-I quantu...
215
click to vote
BTW
2007
Springer
16 years 1 months ago
2007
Springer
: Schema matching is the process of identifying semantic correspondences between schemas. COMA++ is a matching prototype which uses several characteristics of schemas to determine ...
177
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
145
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: In this paper we explore trajectory clustering as a means for representing the normal behavior of vessels in a coastal surveillance scenario. Trajectory clustering however suffer...
147
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Studies on the effect of text width on readability have encouraged the use of fixed text-width web/electronic text design. The drawback of this type of design is the lo...