715 search results - page 85 / 143 » Automatic Programming for Sequence Control |
102
click to vote
AAAI
2008
15 years 4 months ago
2008
We present a novel application of structured classification: identifying function entry points (FEPs, the starting byte of each function) in program binaries. Such identification ...
116
click to vote
CVPR
2007
IEEE
15 years 8 months ago
2007
IEEE
Determining the status of a runway prior to landing is essential for any aircraft, whether manned or unmanned. In this paper, we present a method that can detect moving objects on...
142
click to vote
SACMAT
2010
ACM
15 years 7 months ago
2010
ACM
We propose a new approach for applying Role-Based Access Control (RBAC) to methods in objects in the Java programming language. In our approach, a policy implementer (usually a de...
129
Voted
POPL
1998
ACM
15 years 6 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
107
click to vote
CI
2007
15 years 2 months ago
2007
In this paper we present a computational approach to developing effective training systems for virtual simulation environments. In particular, we focus on a Naval simulation syste...