1636 search results - page 307 / 328 » Type-Theoretic Functional Semantics |
CHI
2009
ACM
16 years 12 days ago
2009
ACM
We introduce the interaction library Squidy, which eases the design of natural user interfaces by unifying relevant frameworks and toolkits in a common library. Squidy provides a ...
KDD
2008
ACM
16 years 7 days ago
2008
ACM
Multi-label problems arise in various domains such as multitopic document categorization and protein function prediction. One natural way to deal with such problems is to construc...
102
click to vote
KDD
2002
ACM
16 years 7 days ago
2002
ACM
: se the concept of visualizing general abstract data by intermediate projection into the hyperbolic space. Its favorable properties were reported earlier and led to the "hype...
204
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
195
click to vote
POPL
2004
ACM
16 years 4 days ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...