7366 search results - page 1142 / 1474 » Development of the Information Systems Implementation Resear... |
167
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
The second workshop on Searching Spontaneous Conversational Speech (SSCS 2008) was held in Singapore on July 24, 2008 in conjunction with the 31st Annual International ACM SIGIR C...
225
Voted
FORTE
1994
15 years 8 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
163
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we study asymmetric proximity measures on directed graphs, which quantify the relationships between two nodes or two groups of nodes. The measures are useful in seve...
185
click to vote
ICCAD
2003
IEEE
16 years 2 hour ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...
184
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
– Better understanding the document logical components is crucial to many applications, e.g., document classification or data integration. As the development of digital libraries...