7167 search results - page 95 / 1434 » A Technique for Invariant Generation |
198
click to vote
CIARP
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. In this paper, we present a statistical approach for the automatic generation of dialogs by means of a user simulator. This technique can be used to generate dialogs with...
146
click to vote
ICAT
2006
IEEE
2006
IEEE
High-Quality Shear-Warp Volume Rendering Using Efficient Supersampling and Pre-integration Technique
16 years 7 days ago
As shear-warp volume rendering is the fastest rendering method, image quality is not good as that of other high-quality rendering methods. In this paper, we propose two methods to ...
136
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
This paper discusses call forwarding, a simple interprocedural optimization technique for dynamically typed languages. The basic idea behind the optimization is straightforward: n...
175
click to vote
ICIP
2007
IEEE
16 years 15 days ago
2007
IEEE
By jointly applying a model-based marker-less motion capture approach and multi-view texture generation 3D Videos of human actors can be reconstructed from multi-view video stream...
140
click to vote
ICPP
1997
IEEE
15 years 10 months ago
1997
IEEE
Optamzztng compalataon as very amportant for generatang code sequentes an order to utalaze the characterastacs of processor archatectures. One of the most essentaal optzmazataon t...