1523 search results - page 235 / 305 » Partially ordered secretaries |
119
Voted
GD
2000
Springer
15 years 4 months ago
2000
Springer
An orthogonal drawing of a graph is an embedding of the graph in the rectangular grid, with vertices represented by axis-aligned boxes, and edges represented by paths in the grid w...
99
Voted
LICS
1989
IEEE
15 years 4 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
109
click to vote
GECCO
2009
Springer
15 years 3 months ago
2009
Springer
One of the key problems in computer vision and pattern recognition is tracking. Multiple objects, occlusion, and tracking moving objects using a moving camera are some of the chal...
124
Voted
AIPS
2007
15 years 3 months ago
2007
In this paper, we propose an extended local search framework to solve combinatorial optimization problems with data uncertainty. Our approach represents a major departure from sce...
101
Voted
AIIDE
2008
15 years 3 months ago
2008
Computer aided interactive drama has been widely applied for entertainment and pedagogy. Most existing approaches for authoring interactive drama use either story-centric or chara...