2272 search results - page 186 / 455 » Capture Complexity by Partition |
123
click to vote
ICDM
2007
IEEE
15 years 9 months ago
2007
IEEE
Manufacturing process development is under constant pressure to achieve a good yield for stable processes. The development of new technologies, especially in the field of photoma...
108
click to vote
ICDT
2007
ACM
15 years 9 months ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
148
click to vote
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
128
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
132
click to vote
ICDE
2006
IEEE
15 years 9 months ago
2006
IEEE
XML structural joins, which evaluate the containment (ancestor-descendant) relationships between XML elements, are important operations of XML query processing. Estimating structu...