Sciweavers

3954 search results - page 469 / 791
» Image-based Model Completion
Sort
View
JOLLI
2010
94views more  JOLLI 2010»
15 years 3 months ago
Querying Linguistic Trees
Large databases of linguistic annotations are used for testing linguistic hypotheses and for training language processing models. These linguistic annotations are often syntactic ...
Catherine Lai, Steven Bird
LPAR
2010
Springer
15 years 3 months ago
Labelled Unit Superposition Calculi for Instantiation-Based Reasoning
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
Konstantin Korovin, Christoph Sticksel
105
Voted
PVLDB
2010
86views more  PVLDB 2010»
15 years 3 months ago
Thirteen New Players in the Team: A Ferry-based LINQ to SQL Provider
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
Tom Schreiber, Simone Bonetti, Torsten Grust, Manu...
VTC
2010
IEEE
166views Communications» more  VTC 2010»
15 years 3 months ago
On Capacity-Maximizing Angular Densities of Multipath in MIMO Channels
– This paper provides a partial answer to the question: "what is the best angular density of multipath in MIMO channels?" using the size-asymptotic theory of Toeplitz m...
George Levin, Sergey Loyka
134
Voted
BMVC
2010
15 years 2 months ago
Detection of Curves with Unknown Endpoints using Minimal Path Techniques
We present a novel method to detect curves with unknown endpoints using minimal path techniques. Our work builds on the state of the art minimal path techniques currently used to ...
Vivek Kaul, Yichang Tsai, Anthony J. Yezzi