6045 search results - page 322 / 1209 » Computable Linearizations of Well-partial-orderings |
231
Voted
TC
2008
15 years 7 months ago
2008
Numerical linear algebra operations are key primitives in scientific computing. Performance optimizations of such operations have been extensively investigated. With the rapid adva...
243
click to vote
APGV
2010
ACM
15 years 11 months ago
2010
ACM
In this paper we present the first Facial Action Coding System (FACS) valid model to be based on dynamic 3D scans of human faces for use in graphics and psychological research. T...
176
click to vote
PLILP
1995
Springer
15 years 11 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
249
click to vote
CSL
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
221
click to vote
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
Approximate dynamic programming has been used successfully in a large variety of domains, but it relies on a small set of provided approximation features to calculate solutions re...