7393 search results - page 1279 / 1479 » Synthesis-for-testability using transformations |
135
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
134
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Ontologies such as taxonomies, product catalogs or web directories are heavily used and hence evolve frequently to meet new requirements or to better reflect the current instance d...
148
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented t...
127
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Kaltofen has proposed a new approach in (Kaltofen, 1992) for computing matrix determinants without divisions. The algorithm is based on a baby steps/giant steps construction of Kr...
114
Voted
CSDA
2008
15 years 3 months ago
2008
: Unit nonresponse and item nonresponse in sample surveys are a typical problem of nonresponse which can be handled by weighting adjustment and imputation methods, respectively. Th...