2487 search results - page 466 / 498 » cases 2009 |
114
click to vote
SAT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...
101
Voted
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The focus of web search is moving away from returning relevant documents towards returning structured data as results to user queries. A vital part in the architecture of...
119
click to vote
SG
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Most information visualisation methods are based on abstract visual representations without any concrete manifestation in the “real world”. However, a variety of abst...
100
Voted
SSD
2009
Springer
15 years 7 months ago
2009
Springer
A key issue in clustering data, regardless the algorithm used, is the definition of a distance function. In the case of trajectory data, different distance functions have been pro...
108
Voted
TLCA
2009
Springer
15 years 7 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...