3044 search results - page 475 / 609 » Linear logical approximations |
131
Voted
AIPS
2008
15 years 5 months ago
2008
Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diag...
148
Voted
MASCOTS
2001
15 years 4 months ago
2001
Farsite is a scalable, distributed file system that logically functions as a centralized file server but that is physically implemented on a set of client desktop computers. Farsi...
131
Voted
AAAI
1997
15 years 4 months ago
1997
Tools for mining information from data can create added value for the Internet. As the majority of electronic documents available over the network are in unstructured textual form...
117
click to vote
ISMB
1997
15 years 4 months ago
1997
We present a system of programs designed to facilitate sequence analysis projects involving large amounts of data. SEALS (System for Easy Analysis of Lots of Sequences) is a logic...
132
click to vote
GIS
2006
ACM
15 years 3 months ago
2006
ACM
We present an algorithm for polyline (and polygon) similarity testing that is based on the double-cross formalism. To determine the degree of similarity between two polylines, the...