1114 search results - page 62 / 223 » Combining Indicators of Allophony |
183
click to vote
RTSS
1995
IEEE
15 years 9 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
128
click to vote
VLDB
1995
ACM
15 years 9 months ago
1995
ACM
We provide several new sampling-based estimators of the number of distinct values of an attribute in a relation. We compare these new estimators to estimators from the database an...
221
click to vote
SC
1991
ACM
15 years 9 months ago
1991
ACM
This paper presents an examination of two distinct but complementary extensions of previous work on hot spot contention in multistage interconnection networks. The first extensio...
174
click to vote
CPM
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we present in detail a new efficient linear time and space suffix array construction algorithm(SACA), called the D-CriticalSubstring algorithm. The algorithm is built...
165
click to vote
DRR
2004
15 years 8 months ago
2004
Retrieving documents by subject matter is the general goal of information retrieval and other content access systems. There are other aspects of textual content, however, which fo...