1981 search results - page 301 / 397 » Model-Checking Hierarchical Structures |
214
click to vote
TPCG
2003
IEEE
16 years 20 days 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...
241
click to vote
AFRIGRAPH
2010
ACM
16 years 14 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...
224
click to vote
CSMR
2002
IEEE
16 years 11 days 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 ...
204
click to vote
INFOCOM
2002
IEEE
16 years 9 days 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...
194
Voted
DAS
2010
Springer
16 years 6 days 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...