8228 search results - page 274 / 1646 » Structural Logical Relations |
142
click to vote
FUZZIEEE
2007
IEEE
16 years 16 days ago
2007
IEEE
The comparison of protein structures is an important problem in Bioinformatics, and Soft Computing techniques were recently introduced for achieving a better representation and po...
151
click to vote
IROS
2007
IEEE
16 years 15 days ago
2007
IEEE
— Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its ...
174
click to vote
ICDAR
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper we present and discuss a novel approach to modeling logical structures of documents, based on a statistical representation of patterns in a document class. An effic...
166
click to vote
AISC
2004
Springer
15 years 10 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
131
Voted
TCS
2008
15 years 6 months ago
2008
We investigate the structure of graphs in the Caucal hierarchy. We provide criteria concerning the degree of vertices or the length of paths which can be used to show that a given ...