525 search results - page 29 / 105 » Using Checkable Types in Automatic Protocol Analysis |
TKDE
1998
13 years 7 months ago
1998
—When a multidatabase system contains textual database systems (i.e., information retrieval systems), queries against the global schema of the multidatabase system may contain a ...
ICMCS
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we describe a system for automatic detection and recognition of trademarks in sports videos. We propose a compact representation of trademarks based on SIFT feature ...
FPL
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we propose a Dynamically Reconfigurable Processor Array (DRPA) generator which can generate various types of DRPAs. Our target DRPA architecture is fully parameter...
ICDAR
2009
IEEE
13 years 5 months ago
2009
IEEE
Automatic processing of images of steles is a challenging problem due to the variation in their structures and body text characteristics. In this paper, area Voronoi diagram is us...
PLDI
2000
ACM
14 years 2 days ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...