525 search results - page 29 / 105 » Using Checkable Types in Automatic Protocol Analysis |
120
Voted
TKDE
1998
15 years 1 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 ...
133
Voted
ICMCS
2008
IEEE
15 years 8 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 ...
122
Voted
FPL
2007
Springer
15 years 8 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...
103
Voted
ICDAR
2009
IEEE
14 years 12 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...
96
Voted
PLDI
2000
ACM
15 years 6 months 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...