3228 search results - page 412 / 646 » Computationally Sound Proofs |
128
Voted
APSCC
2007
IEEE
15 years 5 months ago
2007
IEEE
: This paper has proposed a shopping assistance service. We provide consumer-friendly services which based on personal behavior log data. The consumer-friendly services are informa...
125
Voted
ECCV
2008
Springer
15 years 5 months ago
2008
Springer
Confidence measures are crucial to the interpretation of any optical flow measurement. Even though numerous methods for estimating optical flow have been proposed over the last thr...
120
Voted
AAAI
1993
15 years 5 months ago
1993
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
131
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a ...
124
Voted
ACMDIS
2010
ACM
15 years 3 months ago
2010
ACM
In this study we attempt to quantify the popularity of mobile music device utilization. We present an observational method to study music interaction in the wild and assess the re...