Sciweavers

144 search results - page 26 / 29
» Integrated Segmentation and Depth Ordering
Sort
View
101
Voted
ICTAI
2002
IEEE
15 years 2 months ago
A Clustering Based Approach to Efficient Image Retrieval
This paper addresses the issue of effective and efficient content based image retrieval by presenting a novel indexing and retrieval methodology that integrates color, texture, an...
Ruofei Zhang, Zhongfei Zhang
NAACL
2007
14 years 11 months ago
Direct Translation Model 2
This paper presents a maximum entropy machine translation system using a minimal set of translation blocks (phrase-pairs). While recent phrase-based statistical machine translatio...
Abraham Ittycheriah, Salim Roukos
RIAO
2007
14 years 11 months ago
Structured Audio Player: Supporting Radio Archive Workflows with Automatically Generated Structure Metadata
Although techniques to automatically generate metadata have been steadily refined over the past decade, archive professionals at radio broadcasters continue to use conventional au...
Martha Larson, Joachim Köhler
110
Voted
PLDI
2011
ACM
14 years 11 days ago
Separation logic + superposition calculus = heap theorem prover
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
Juan Antonio Navarro Pérez, Andrey Rybalche...
ICDE
2003
IEEE
209views Database» more  ICDE 2003»
15 years 11 months ago
An Evaluation of Regular Path Expressions with Qualifiers against XML Streams
This paper presents SPEX, a streamed and progressive evaluation of regular path expressions with XPath-like qualifiers against XML streams. SPEX proceeds as follows. An expression...
Dan Olteanu, François Bry, Tobias Kiesling