396 search results - page 54 / 80 » Combining decision procedures for the reals |
101
click to vote
UM
2007
Springer
15 years 7 months ago
2007
Springer
Recommender systems are gaining widespread acceptance in e-commerce applications to confront the “information overload” problem. Collaborative Filtering (CF) is a successful re...
120
click to vote
COMCOM
2006
15 years 1 months ago
2006
Managing the bandwidth allocated to a Label Switched Path in MPLS networks plays a major role for provisioning of Quality of Service and efficient use of resources. In doing so, t...
134
click to vote
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper describes a novel method to acquire depth images using a pair of ToF (Time of Flight) cameras. As opposed to approaches that filter, calibrate or do 3D reconstructions...
120
click to vote
CVPR
2006
IEEE
16 years 3 months ago
2006
IEEE
We present a novel multiscale approach that combines segmentation with classification to detect abnormal brain structures in medical imagery, and demonstrate its utility in detect...
113
click to vote
VSTTE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...