16188 search results - page 2853 / 3238 » The Optimal PAC Algorithm |
178
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
174
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
195
Voted
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
There have been many efforts using image analysis algorithms to study cardiac kinematics, or using biomechanics strategies to study myocardial material properties. In this paper, ...
200
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper we present an approach of generating Cascading Style Sheet documents automatically if the desired effect on the content elements is specified. While a Web user agent...
188
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Spammers use questionable search engine optimization (SEO) techniques to promote their spam links into top search results. In this paper, we focus on one prevalent type of spam ? ...