1901 search results - page 122 / 381 » Predicting Program Properties from |
122
click to vote
GRAPHICSINTERFACE
2001
15 years 4 months ago
2001
While traditional graphics techniques provide for the realistic display of three-dimensional objects, these methods often lack the flexibility to emulate expressive effects found ...
117
click to vote
JIIS
2008
15 years 2 months ago
2008
An ever greater range of applications call for learning from sequences. Grammar induction is one prominent tool for sequence learning, it is therefore important to know its proper...
139
click to vote
MCFNS
2010
14 years 9 months ago
2010
Recent advances in LiDAR (Light Detection and Ranging) technology have allowed for the remote sensing of important forest characteristics to be more reliable and commercially avail...
FMCO
2007
Springer
15 years 9 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
128
Voted
CAV
2001
Springer
15 years 7 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...