3913 search results - page 383 / 783 » complexity 2006 |
154
click to vote
KBSE
2006
IEEE
16 years 25 days ago
2006
IEEE
Hierarchical diagrams are well-suited for visualizing the structure and decomposition of complex systems. However, the current tools poorly support modeling, visualization and nav...
179
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
200
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
177
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...
210
click to vote
MMM
2006
Springer
16 years 25 days ago
2006
Springer
MPEG-7 is an excellent choice for the description of audiovisual content due to its flexibility and comprehensiveness. The drawback is that these properties also increase the comp...