3909 search results - page 464 / 782 » Extreme Model Checking |
134
click to vote
TOG
2002
15 years 4 months ago
2002
Efficient algorithms for compressing geometric data have been widely developed in the recent years, but they are mainly designed for closed polyhedral surfaces which are manifold ...
133
click to vote
ECSA
2010
Springer
15 years 3 months ago
2010
Springer
Presently, no methods exist that support the creation process of an industry taxonomy within a specific domain. Without such a method, taxonomies remain erroneous, making the deve...
161
click to vote
EDBT
2009
ACM
15 years 2 months ago
2009
ACM
A typical online Business Intelligence (BI) workload consists of a combination of short, less intensive queries, along with long, resource intensive queries. As such, the longest ...
139
Voted
INTERSPEECH
2010
14 years 11 months ago
2010
This study investigates the mechanism of tonal contraction when a disyllabic unit is merged into a monosyllable at fast speech rate in Taiwan Mandarin. Various degrees of contract...
220
Voted
JIPS
2010
14 years 11 months ago
2010
Classical warranty plans require crisp data obtained from strictly controlled reliability tests. However, in a real situation these requirements might not be fulfilled. In an extre...