6431 search results - page 816 / 1287 » Model Building by Resolution |
182
Voted
ENTCS
2002
15 years 6 months ago
2002
Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...
180
click to vote
JVCA
2000
15 years 6 months ago
2000
This contribution addresses the problem of obtaining 3D models from image sequences. A 3D surface description of the scene is extracted completely from a set of uncalibrated camer...
201
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
Current knowledge bases suffer from either low coverage or low accuracy. The underlying hypothesis of this work is that user feedback can greatly improve the quality of automatica...
179
click to vote
GRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Given high-dimensional software measurement data, researchers and practitioners often use feature (metric) selection techniques to improve the performance of software quality clas...
202
click to vote
TVCG
2011
15 years 1 months ago
2011
—We present an application of interactive global illumination and spatially augmented reality to architectural daylight modeling that allows designers to explore alternative desi...