7623 search results - page 921 / 1525 » Constructive Volume Modeling |
175
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
192
click to vote
BMVC
2001
15 years 9 months ago
2001
A large body of human image processing techniques use skin detection as a first primitive for subsequent feature extraction. Well established methods of colour modelling, such as...
147
click to vote
AAAI
2007
15 years 9 months ago
2007
The reference reconciliation problem consists in deciding whether different identifiers refer to the same data, i.e., correspond to the same world entity. The L2R system exploits...
165
click to vote
WSC
2007
15 years 9 months ago
2007
Recent reports have established the need for change in the US health system. Building projects can play an important role in enabling change to support organizational objectives. ...
197
click to vote
WSC
2007
15 years 9 months ago
2007
We consider the problem of estimating the time-average variance constant for a stationary process. A previous paper described an approach based on multiple integrations of the sim...