Sciweavers

927 search results - page 92 / 186
» A Data Abstraction Alternative to Data Structure Algorithm M...
Sort
View
DAGSTUHL
2001
15 years 4 months ago
Visualization for the Mind's Eye
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...
Nelson A. Baloian, Wolfram Luther
148
Voted
CORR
2004
Springer
176views Education» more  CORR 2004»
15 years 2 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
150
Voted
STACS
1992
Springer
15 years 6 months ago
Speeding Up Two String-Matching Algorithms
We show how to speed up two string-matching algorithms: the Boyer-Moore algorithm (BM algorithm), and its version called here the reverse factor algorithm (RF algorithm). The RF al...
Maxime Crochemore, Thierry Lecroq, Artur Czumaj, L...
ACCV
2010
Springer
14 years 9 months ago
A Weak Structure Model for Regular Pattern Recognition Applied to Facade Images
Abstract. We propose a novel method for recognition of structured images and demonstrate it on detection of windows in facade images. Given an ability to obtain local low-level dat...
Radim Tylecek, Radim Sára
104
Voted
COMPLIFE
2005
Springer
15 years 8 months ago
Protein Annotation by Secondary Structure Based Alignments (PASSTA)
Abstract. Most software tools in homology recognition on proteins answer only a few specific questions, often leaving not much room for the interpretation of the results. We devel...
Constantin Bannert, Jens Stoye