1981 search results - page 301 / 397 » Model-Checking Hierarchical Structures |
TPCG
2003
IEEE
14 years 2 months ago
2003
IEEE
In many application areas an optimal visualization of a complex graph depends on the specific task to be accomplished by the user. Therefore a means of locally customizable layou...
AFRIGRAPH
2010
ACM
14 years 2 months 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...
CSMR
2002
IEEE
14 years 1 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
A multigigabit IP router may receive several millions packets per second from each input link. For each packet, the router needs to find the longest matching prefix in the forw...
DAS
2010
Springer
14 years 1 months ago
2010
Springer
Detecting tables in a spreadsheet is the first step needed to make spreadsheet documents accessible to individuals with visual disabilities. Techniques to enable aural presentati...