473 search results - page 84 / 95 » Heapable Sequences and Subsequences |
101
click to vote
APLAS
2003
ACM
15 years 3 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
AIIDE
2007
15 years 2 months ago
2007
This paper presents an application of Hierarchical Transition Network (HTN) planning to a squad-based military simulation. The hierarchical planner produces collaborative plans fo...
WSC
2008
15 years 2 months ago
2008
In this paper, we propose an integrated architecture for modeling, simulation, and execution of PLC (Programmable Logic Controller) based manufacturing system. The main objective ...
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
Maximally Stable Extremal Regions (MSERs) are one of the most prominent interest region detectors in computer vision due to their powerful properties and low computational demands...
129
click to vote
AMDO
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents a framework for view-invariant action recognition in image sequences. Feature-based human detection becomes extremely challenging when the agent is being observ...