1901 search results - page 339 / 381 » Predicting Program Properties from |
112
Voted
PKDD
2010
Springer
14 years 8 months ago
2010
Springer
As an alternative to vector representations, a recent trend in image classification suggests to integrate additional structural information in the description of images in order to...
134
Voted
JSC
2010
14 years 5 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
76
Voted
IEEESP
2011
14 years 2 months ago
2011
Botnets, networks of malware-infected machines that are controlled by an adversary, are the root cause of a large number of security problems on the Internet. A particularly sophi...
IUI
2005
ACM
15 years 4 months ago
2005
ACM
A principal problem in speech recognition is distinguishing between words and phrases that sound similar but have different meanings. Speech recognition programs produce a list of...
87
Voted
DILS
2005
Springer
15 years 4 months ago
2005
Springer
We have been developing a system for comparing multiple genomes, PLATCOM, where users can choose genomes of their choice freely and perform analysis of the selected genomes with a...