2214 search results - page 20 / 443 » complexity 2004 |
84
Voted
CG
2004
Springer
15 years 7 days ago
2004
Springer
This work presents a stratification approach for modeling two-dimensional cell complexes. It introduces the concept of combinatorial stratification and uses the Handlebody theory ...
102
Voted
ACTA
2004
15 years 8 days ago
2004
We study the complexity of satisfiability and model-checking of the linear-time temporal logic with past (pltl). More precisely, we consider several fragments of pltl, depending o...
112
Voted
ISOLA
2004
Springer
15 years 5 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
101
Voted
DEXA
2004
Springer
15 years 5 months ago
2004
Springer
Topological predicates between spatial objects have always been a main area of research on spatial data handling, reasoning, and query languages. The focus of research has definit...
93
Voted
WSCG
2004
15 years 1 months ago
2004
Inverse rendering infers realistic descriptions of illumination and material properties from photographs. However, the applicability of state of the art inverse rendering algorith...