4340 search results - page 800 / 868 » Formal Methods and Cryptography |
137
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Formal classification of a large collection of protein structures aids the understanding of evolutionary relationships among them. Classifications involving manual ste...
146
click to vote
AEI
2006
15 years 4 months ago
2006
This paper presents a linguistic framework for developing a formal knowledge acquisition method. The framework is intended to empower domain experts to specify information require...
119
click to vote
GIS
2002
ACM
15 years 4 months ago
2002
ACM
A novel method of map matching using the Global Positioning System (GPS) has been developed which uses digital mapping and height data to augment point position computation. This m...
146
click to vote
DIS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. One of the main goals of Discovery Science is the development and analysis of methods for automatic knowledge discovery in the natural sciences. A central area of natural...
110
click to vote
JCSS
2010
15 years 2 months ago
2010
When a file is to be transmitted from a sender to a recipient and when the latter already has a file somewhat similar to it, remote differential compression seeks to determine t...