Sciweavers

1511 search results - page 97 / 303
» Relational Parametricity for Computational Effects
Sort
View
140
Voted
ICMCS
2008
IEEE
156views Multimedia» more  ICMCS 2008»
15 years 11 months ago
A fuzzy statistical correlation-based approach to content-based image retrieval
This paper presents an effective fuzzy long-term semantic learning method for relevance feedback-based image retrieval. The proposed system uses a statistical correlationbased met...
Xiaojun Qi, Ran Chang
148
Voted
LFCS
1994
Springer
15 years 8 months ago
Strong Normalization in a Non-Deterministic Typed Lambda-Calculus
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
Philippe de Groote
TOCHI
2002
63views more  TOCHI 2002»
15 years 4 months ago
Rivalry and interference with a head-mounted display
Perceptual factors that effect monocular, transparent (a.k.a "see-thru") head mounted displays include binocular rivalry, visual interference, and depth of focus. We rep...
Robert S. Laramee, Colin Ware
ACL
1994
15 years 5 months ago
A Markov Language Learning Model for Finite Parameter Spaces
This paper shows how to formally characterize language learning in a finite parameter space as a Markov structure, hnportant new language learning results follow directly: explici...
Partha Niyogi, Robert C. Berwick
COMBINATORICA
2007
129views more  COMBINATORICA 2007»
15 years 4 months ago
Birth control for giants
The standard Erd˝os-Renyi model of random graphs begins with n isolated vertices, and at each round a random edge is added. Parametrizing n 2 rounds as one time unit, a phase tra...
Joel H. Spencer, Nicholas C. Wormald