3273 search results - page 129 / 655 » types 2007 |
124
click to vote
ATAL
2007
Springer
15 years 10 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...
162
click to vote
BTW
2007
Springer
15 years 10 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 ...
136
click to vote
FOSSACS
2007
Springer
15 years 10 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...
118
Voted
GI
2007
Springer
15 years 10 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...
100
Voted
ICCS
2007
Springer
15 years 10 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...