Sciweavers

5499 search results - page 313 / 1100
» Generalized Rewrite Theories
Sort
View
189
Voted
NIPS
2007
15 years 8 months ago
A learning framework for nearest neighbor search
Can we leverage learning techniques to build a fast nearest-neighbor (ANN) retrieval data structure? We present a general learning framework for the NN problem in which sample que...
Lawrence Cayton, Sanjoy Dasgupta
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 7 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen
171
Voted
JGO
2008
85views more  JGO 2008»
15 years 7 months ago
On the solution existence of pseudomonotone variational inequalities
Abstract. As shown by Thanh-Hao [11], the solution existence results established by Facchinei and Pang [5, Vol. I, Prop. 2.2.3 and Theorem 2.3.4] for variational inequalities in ge...
B. T. Kien, J. C. Yao, N. D. Yen
214
Voted
APAL
1999
97views more  APAL 1999»
15 years 7 months ago
Coalgebraic Logic
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviors of the system. A fundamental question...
Lawrence S. Moss
199
Voted
MTA
2010
118views more  MTA 2010»
15 years 5 months ago
A computation-oriented multimedia data streams model for content-based information retrieval
: Multimedia applications nowadays are becoming prevalent. In the past the relational database model was generalized to the multimedia database model. More recently the relational ...
Shi-Kuo Chang, Lei Zhao, Shenoda Guirguis, Rohit K...