175 search results - page 27 / 35 » A Complete and Recursive Feature Theory |
ICDT
2010
ACM
15 years 4 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper formulates and studies a general continuous-time behavioral portfolio selection model under Kahneman and Tversky's (cumulative) prospect theory, featuring S-shaped...
CAGD
2005
14 years 11 months ago
2005
This paper presents an intelligent scissoring operator for meshes. Unlike common approaches that segment a mesh using clustering schemes, we introduce a method that concentrates o...
113
click to vote
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
PODS
1994
ACM
15 years 3 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...