7766 search results - page 356 / 1554 » Testing Nondeterminate Systems |
189
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We introduce parameterized rewrite systems for describing infinite families of finite string rewrite systems depending upon non-negative integer parameters, as well as ways to reas...
207
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
Face recognition has established itself as an important subbranch of pattern recognition within the field of computer science. Many state-of-the-art systems have focused on the ta...
166
click to vote
RECSYS
2009
ACM
16 years 1 months ago
2009
ACM
Recommender systems aim to substantially reduce information overload by suggesting lists of similar items that users may find interesting. Caching has been a useful technique for...
184
Voted
ICONS
2008
IEEE
16 years 1 months ago
2008
IEEE
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
155
click to vote
ICAS
2006
IEEE
16 years 24 days ago
2006
IEEE
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...