2063 search results - page 315 / 413 » connection 2007 |
SEFM
2007
IEEE
15 years 7 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
90
Voted
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper presents two approaches to visually analyze the topic shift of a pool of documents over a given period of time. The first of the proposed methods is based on a mult...
125
Voted
SMI
2007
IEEE
15 years 7 months ago
2007
IEEE
Defining sharp features in a given 3D model facilitates a better understanding of the surface and aids visualizations, reverse engineering, filtering, simplification, non-photo...
120
click to vote
TABLETOP
2007
IEEE
15 years 7 months ago
2007
IEEE
Multi-person tabletop applications that require a high display resolution, such as collaborative web-browsing, are currently very difficult to create. Tabletop systems that suppo...
93
Voted
TASE
2007
IEEE
15 years 7 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...