11172 search results - page 695 / 2235 » Testing Physical Systems |
198
click to vote
ENTCS
2007
15 years 7 months ago
2007
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
212
click to vote
LPAR
2010
Springer
15 years 5 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...
229
click to vote
ICIP
2001
IEEE
16 years 9 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...
186
click to vote
RECSYS
2009
ACM
16 years 2 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...
201
click to vote
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...