7821 search results - page 1289 / 1565 » Nested Ordered Sets and their Use for Data Modelling |
198
click to vote
Publication
Round-trips between home and work represent, for the majority of people, most of their daily
commuting time; also, setting home and work places involves more constraints for two- ...
222
Voted
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
212
click to vote
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
As massive repositories of real-time human commentary, social media platforms have arguably evolved far beyond passive facilitation of online social interactions. Rapid analysis o...
182
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Content-based Image Retrieval (CBIR) is a computer vision application that aims at automatically retrieving images based on their visual content. Linear Discriminat Analysis and i...
186
click to vote
ICMCS
2006
IEEE
16 years 22 days ago
2006
IEEE
Distance metric is widely used in similarity estimation. In this paper we find that the most popular Euclidean and Manhattan distance may not be suitable for all data distribution...