1304 search results - page 234 / 261 » Model Checking C Programs Using F-SOFT |
105
click to vote
RECOMB
2005
Springer
16 years 2 months ago
2005
Springer
We introduce a new scoring method for calculation of alignments of optical maps. Missing cuts, false cuts, and sizing errors present in optical maps are addressed by our alignment...
109
click to vote
UAI
1993
15 years 3 months ago
1993
Based Abstraction and Categorization Eric J. Horvitz∗ and Adrian C. Klein Palo Alto Laboratory Rockwell International Science Center 444 High Street Palo Alto, CA 94301 We take ...
169
Voted
USS
2010
15 years 9 days ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
133
Voted
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
114
click to vote
CAD
2007
Springer
15 years 2 months ago
2007
Springer
Vehicle interior design directly relates to driver performance measures such as comfort, efficiency, risk of injury, and vehicle safety. A digital human is a convenient tool for ...