696 search results - page 42 / 140 » A class of combinatorial identities |
112
click to vote
CADE
2006
Springer
15 years 5 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
107
click to vote
NIPS
2007
15 years 3 months ago
2007
Content-based image suggestion (CBIS) targets the recommendation of products based on user preferences on the visual content of images. In this paper, we motivate both feature sel...
103
click to vote
IS
2010
15 years 13 days ago
2010
Abstract—In this paper we present work on adaptive identification of learners’ strategies, gradually developing a higher level of adaptation based on evolving models of mathem...
146
click to vote
CPM
2009
Springer
15 years 8 months ago
2009
Springer
A sequence of reversals that takes a signed permutation to the identity is perfect if it preserves all common intervals between the permutation and the identity. The problem of com...
133
click to vote
CJ
2006
15 years 2 months ago
2006
Anonymous channels or similar techniques that can achieve sender's anonymity play important roles in many applications. However, they will be meaningless if cryptographic prim...