Sciweavers

2069 search results - page 379 / 414
» Linear time algorithms for Clobber
Sort
View
TOPLAS
2008
81views more  TOPLAS 2008»
15 years 5 months ago
Size-change termination with difference constraints
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
Amir M. Ben-Amram
FUIN
2006
98views more  FUIN 2006»
15 years 5 months ago
On-line Approximate String Matching in Natural Language
We consider approximate pattern matching in natural language text. We use the words of the text as the alphabet, instead of the characters as in traditional string matching approac...
Kimmo Fredriksson
153
Voted
KDD
1999
ACM
193views Data Mining» more  KDD 1999»
15 years 9 months ago
Data Mining of User Navigation Patterns
Abstract. We propose a data mining model that captures the user navigation behaviour patterns. The user navigation sessions are modelled as a hypertext probabilistic grammar whose ...
José Borges, Mark Levene
RT
1999
Springer
15 years 9 months ago
Computing Visibility for Triangulated Panoramas
A visibility algorithm for triangulated panoramas is proposed. The algorithm can correctly resolve the visibility without making use of any depth information. It is especially usef...
Chi-Wing Fu, Tien-Tsin Wong, Pheng-Ann Heng
ASPDAC
1998
ACM
101views Hardware» more  ASPDAC 1998»
15 years 9 months ago
An Integrated Flow for Technology Remapping and Placement of Sub-half-micron Circuits
ABSTRACT - This paper presents a new design flow, FPDSiMPA, and a set of techniques for synthesizing high-performance sub-half micron logic circuits. FPD-SiMPA consists of logic p...
Jinan Lou, Amir H. Salek, Massoud Pedram