1529 search results - page 48 / 306 » Search Space Analysis of the Linear Ordering Problem |
130
click to vote
JOLLI
2007
15 years 3 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
125
click to vote
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— High-rate space-time-frequency block codes (STFBC) are promising for achieving high bandwidth efficiency, low overhead and latency. Recently, a class of low-complexity STFBC m...
202
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Images of an object undergoing ego- or camera- motion
often appear to be scaled, rotated, and deformed versions
of each other. To detect and match such distorted patterns
to a s...
140
Voted
ECCC
2007
15 years 3 months ago
2007
Satisfiability algorithms have become one of the most practical and successful approaches for solving a variety of real-world problems, including hardware verification, experime...
120
Voted
AAAI
2007
15 years 6 months ago
2007
Finding the exact treewidth of a graph is central to many operations in a variety of areas, including probabilistic reasoning and constraint satisfaction. Treewidth can be found b...