1147 search results - page 123 / 230 » Differential Matching Constraints |
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
WSC
2008
14 years 15 days ago
2008
Semiconductor fabs often offer manufacturing service of multiple priorities in terms of cycle time-based X-factor targets (XFTs) and fab production must be planned accordingly. Th...
METMBS
2004
13 years 11 months ago
2004
Abstract One approach to predict the secondary structure of RNA is the comparative approach. This approach is used when alignment of several homologous sequences of a RNA is availa...
WSCG
2003
13 years 11 months ago
2003
We describe a system for interactive animation of cloth, which can be used in e-commerce applications, games or even in virtual prototyping systems. In order not to restrict the s...
EACL
1993
ACL Anthology
13 years 11 months ago
1993
ACL Anthology
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...