3819 search results - page 255 / 764 » Simple Easy Terms |
180
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
In this paper we present the Reactable, a new electronic musical instrument with a simple and intuitive tabletop interface that turns music into a tangible and visual experience, ...
195
click to vote
AMAI
2008
Springer
15 years 7 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
210
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Propositional type theory, first studied by Henkin, is the restriction of simple type theory to a single base type that is interpreted as the set of the two truth values. We show ...
160
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper proposes a theory of encapsulation, taking the internationally standardized definition of that term and establishing a relationship between subsets and the elements tha...
200
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we study the application of sparse principal component analysis (PCA) to clustering and feature selection problems. Sparse PCA seeks sparse factors, or linear combi...