3443 search results - page 401 / 689 » More Algebras for Determiners |
188
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
186
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
The problem of determining the appropriate number of components is important in finite mixture modeling for pattern classification. This paper considers the application of an unsu...
170
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
The increasing use of biometrics has given rise to new privacy concerns. Biometric encryption systems have been proposed in order to alleviate such concerns: rather than comparing...
166
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Navigating large software systems is difficult as the various artifacts are distributed in a huge space, while the relationships between different artifacts often remain hidden...
195
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
CPU utilization control has recently been demonstrated to be an effective way of meeting end-to-end deadlines for distributed real-time systems running in unpredictable environmen...