Sciweavers

5066 search results - page 387 / 1014
» Spectra of structures and relations
Sort
View
CORR
2004
Springer
176views Education» more  CORR 2004»
15 years 6 months ago
The First-Order Theory of Sets with Cardinality Constraints is Decidable
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
Viktor Kuncak, Martin C. Rinard
BMCBI
2011
14 years 10 months ago
Structator: fast index-based search for RNA sequence-structure patterns
Background: The secondary structure of RNA molecules is intimately related to their function and often more conserved than the sequence. Hence, the important task of searching dat...
Fernando Meyer, Stefan Kurtz, Rolf Backofen, Sebas...
ICCV
2003
IEEE
16 years 8 months ago
Geometric Segmentation of Perspective Images Based on Symmetry Groups
Symmetry is an effective geometric cue to facilitate conventional segmentation techniques on images of man-made environment. Based on three fundamental principles that summarize t...
Allen Y. Yang, Shankar Rao, Kun Huang, Wei Hong, Y...
ECCV
1994
Springer
16 years 8 months ago
Non-parametric Local Transforms for Computing Visual Correspondence
Abstract. We propose a new approach to the correspondence problem that makes use of non-parametric local transforms as the basis for correlation. Non-parametric local transforms re...
Ramin Zabih, John Woodfill
ICDE
2009
IEEE
245views Database» more  ICDE 2009»
16 years 8 months ago
WISE: A Workflow Information Search Engine
Workflows are widely used for representing business processes, web services, scientific experiments, and activities in daily life, like recipes. There is an increasing need for peo...
Qihong Shao, Peng Sun, Yi Chen