7167 search results - page 219 / 1434 » A Technique for Invariant Generation |
221
click to vote
WORM
2003
15 years 8 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
240
click to vote
ANLP
1992
15 years 8 months ago
1992
While complete understanding of arbitrary input text remains in the future, it is currently possible to construct natural language processing systems that provide a partial unders...
234
click to vote
NPL
2007
15 years 6 months ago
2007
Autonomous mobile robots form an important research topic in the field of robotics due to their near-term applicability in the real world as domestic service robots. These robots ...
196
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
164
click to vote
ICMCS
2005
IEEE
16 years 25 days ago
2005
IEEE
We propose a method for generating a dynamic lecture video from the high resolution images recorded by a HDV camcorder. The lecture images are cropped to track the region of the i...