1497 search results - page 209 / 300 » Extended static checking |
139
Voted
TES
2001
Springer
15 years 5 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
150
click to vote
RV
2010
Springer
14 years 10 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
147
Voted
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
97
Voted
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
Many vision and graphics problems such as relighting,
structured light scanning and photometric stereo, need im-
ages of a scene under a number of different illumination
conditi...
115
Voted
CVPR
2003
IEEE
16 years 2 months ago
2003
IEEE
This paper extends the traditional binocular stereo problem into the spacetime domain, in which a pair of video streams is matched simultaneously instead of matching pairs of imag...