1177 search results - page 162 / 236 » A Theory of Role Composition |
87
Voted
CHI
2005
ACM
16 years 1 months ago
2005
ACM
ImproViz is a visualization technique for diagramming music that brings to light the signature patterns of a jazz musician's improvisational style. ImproViz consists of two p...
214
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
196
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
127
Voted
PODS
2008
ACM
16 years 27 days ago
2008
ACM
We study complexity and approximation of queries in an expressive query language for probabilistic databases. The language studied supports the compositional use of confidence com...
ALT
2004
Springer
15 years 9 months ago
2004
Springer
Rademacher and Gaussian complexities are successfully used in learning theory for measuring the capacity of the class of functions to be learned. One of the most important propert...