7167 search results - page 298 / 1434 » A Technique for Invariant Generation |
213
Voted
SIGMOD
2010
ACM
16 years 8 days ago
2010
ACM
Many web queries seek information about named entities (such as products or people). Web search engines federate such entity-oriented queries to relevant structured databases; the...
191
Voted
ATS
2000
IEEE
15 years 12 months ago
2000
IEEE
We present a new test generation procedure for sequential circuits using newly traversed state and newly detected fault information obtained between successive iterations of vecto...
243
Voted
ICMCS
2000
IEEE
15 years 12 months ago
2000
IEEE
In this paper, we propose a novel technique for video summarization based on the Singular Value Decomposition (SVD). For the input video sequence, we create a featureframe matrix ...
186
Voted
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A generational collection strategy utilizing a single nursery cannot efficiently manage objects in application servers due to variance in their lifespans. In this paper, ...
199
click to vote
CICLING
2006
Springer
15 years 11 months ago
2006
Springer
The automatic generation of back-of-the book indexes seems to be out of sight of the Information Retrieval and Natural Language Processing communities, although the increasingly la...