12836 search results - page 2324 / 2568 » Generalization Methods in Bioinformatics |
150
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
113
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
168
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
125
click to vote
ISBI
2002
IEEE
16 years 5 months ago
2002
IEEE
During the last decade increasingly sophisticated positron emission tomography (PET) scanners have been developed for imaging small laboratory animals. These systems often exhibit...
111
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
The value of a brand name is an important factor that consumers often take into consideration when making their purchasing decisions. However, it is difficult for users to evaluat...