2911 search results - page 148 / 583 » A Logic of Graph Constraints |
APVIS
2004
15 years 2 months ago
2004
Skeletal animation is a concept that has been used in the areas of motion pictures and computer games to create realistic motion for the animation of articulated characters. Recen...
109
click to vote
ISCI
2007
15 years 19 days ago
2007
Graph matching and graph edit distance have become important tools in structural pattern recognition. The graph edit distance concept allows us to measure the structural similarit...
133
click to vote
ANOR
2004
15 years 18 days ago
2004
The aim of Air Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to optimize their o...
118
Voted
LFCS
2009
Springer
15 years 5 months ago
2009
Springer
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
99
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...