675 search results - page 37 / 135 » Using Fairness to Make Abstractions Work |
114
click to vote
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Despite a lot of research efforts in baseball video processing, little work has been done in analyzing the detailed process and ball movement of the batting content. This paper...
131
click to vote
DMIN
2006
15 years 5 months ago
2006
Abstract: Data preparation is a significant preprocessing task to prepare data for mining. The data mining process cannot succeed without a serious effort to prepare data. Very oft...
143
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
167
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
163
Voted
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...