4276 search results - page 179 / 856 » Techniques for Empirical Validation |
160
click to vote
SARA
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In constraint satisfaction, local search is an incomplete method for finding a solution to a problem. Solving a general constraint satisfaction problem (CSP) is known to...
164
click to vote
SCAM
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper presents an optimisation technique which automatically inlines certain classes within their enclosing class. Inlining a class involves inserting the fields and methods ...
155
click to vote
AIPS
2000
15 years 8 months ago
2000
Despite the importance of the management of inventory in industrial scheduling applications, there has been little research that has addressed reasoning about inventory directly a...
166
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
The large scale adoption of adaptive services in pervasive and mobile computing is likely to be conditioned to the availability of reliable privacy-preserving technologies. Unfort...
150
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a method for the reconstruction of a 3D real object from a sequence of high-definition images. We combine two different procedures: a shape from silhouette technique w...