2765 search results - page 407 / 553 » Works and representation |
181
Voted
ESAW
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. Design patterns already proved successful in lowering the development time and number of errors of object-oriented software; now, they are, candidate to play a similar ro...
178
Voted
FM
2003
Springer
16 years 8 days ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
163
Voted
ECCV
2010
Springer
16 years 7 days ago
2010
Springer
Recent progress in per-pixel object class labeling of natural images can be attributed to the use of multiple types of image features and sound statistical learning approaches. Wit...
227
Voted
AFRIGRAPH
2010
ACM
16 years 4 days ago
2010
ACM
We present a method for editing the LOD of quad meshes, which supports both adaptive refinement and adaptive coarsening. Starting at a base mesh, we generate a quad-dominant mesh...
191
click to vote
GLVLSI
2002
IEEE
16 years 2 hour ago
2002
IEEE
Many computation-intensive or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graphs (DFGs). ...