873 search results - page 68 / 175 » Reducing the Frequent Pattern Set |
AAAI
2007
13 years 10 months ago
2007
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...
JUCS
2006
13 years 8 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
INDIASE
2009
ACM
14 years 21 days ago
2009
ACM
Component-Based Development (CBD) has been broadly used in software development, as it enhances reusability and flexibility, and reduces the costs and risks involved in systems dev...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
In this paper, a new methodology for optical flow estimation that is able to represent multiple motions is presented. To separate motions at the same location, a new frequency-dom...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Accelerating multi-pattern matching is a critical issue in building high-performance deep packet inspection systems. Achieving high-throughputs while reducing both memor...