5578 search results - page 639 / 1116 » Base Class Injection |
187
click to vote
SMI
2008
IEEE
16 years 1 months ago
2008
IEEE
We address the problem of bandwidth selection in MLS surfaces. While the problem has received relatively little attention in the literature, we show that appropriate selection pla...
149
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Design patterns provide solutions to recurring design problems in object-oriented programming. Design patterns typically crosscut class boundaries so previous work aimed ...
217
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
208
click to vote
ACIVS
2008
Springer
16 years 1 months ago
2008
Springer
We propose a novel approach for estimating a depth-map from a pair of rectified stereo images degraded by blur and contrast change. At each location in image space, information is...
233
click to vote
ADC
2008
Springer
16 years 1 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...