5668 search results - page 836 / 1134 » Overlaps in Requirements Engineering |
309
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Many of the data sources used in stream query processing are known to exhibit bursty behavior. Data in a burst often has different characteristics than steady-state data, and ther...
296
click to vote
ICDE
1999
IEEE
16 years 8 months ago
1999
IEEE
Modern digital libraries require user-friendly and yet responsive access to the rapidly growing, heterogeneous, and distributed collection of information sources. However, the inc...
169
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
Statistical modeling for content based retrieval is examined in the context of recent TREC Video benchmark exercise. The TREC Video exercise can be viewed as a test bed for evalua...
149
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
This paper presents an automatic grading prototype system developed as recognition engine for Japanese KANJI Dictation Test which aims to certificate the reading and writing abili...
192
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...