2465 search results - page 73 / 493 » Automata on Linear Orderings |
CVPR
2005
IEEE
14 years 11 months ago
2005
IEEE
Natural images are approximately scale invariant resulting in long range statistical regularities that typically obey a power law. For example, images have considerable regularity...
COCOON
2005
Springer
14 years 2 months ago
2005
Springer
Genomic maps often do not specify the order within some groups of two or more markers. The synthesis of a master map from several sources introduces additional order ambiguity due ...
AIPS
2010
13 years 9 months ago
2010
Over the last few years there has been a revival of interest in the idea of least-commitment planning with a number of researchers returning to the partial-order planning approach...
CCS
2007
ACM
14 years 3 months ago
2007
ACM
Human Desoxyribo-Nucleic Acid (DNA) sequences offer a wealth of information that reveal, among others, predisposition to various diseases and paternity relations. The breadth and...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...