7167 search results - page 120 / 1434 » A Technique for Invariant Generation |
146
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Automatically generated HTML, as produced by WYSIWYG programs, typically contains much repetitive and unnecessary markup. This paper identifies aspects of such HTML that may be al...
176
click to vote
SARA
2007
Springer
16 years 13 days ago
2007
Springer
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
160
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—With the wide support for serialization in objectoriented programming languages, persistent objects have become common place. Retrieving previously “persisted” objec...
144
click to vote
ADCM
2007
15 years 6 months ago
2007
We describe a new method for constructing a sequence of refined polygons, which starts with a sequence of points and associated normals. The newly generated points are sampled fr...
139
click to vote
IV
2009
IEEE
16 years 29 days ago
2009
IEEE
Occlusion is an important problem to be solved for readability improvement of 3D visualization techniques. This paper presents an occlusion reduction technique for cityscape-style...