4745 search results - page 164 / 949 » Discretization: An Enabling Technique |
178
click to vote
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
158
click to vote
IJNSEC
2006
15 years 6 months ago
2006
Side channel analysis is a technique that enables the adversary to benefit from information leakages occurring due to the implementation of encryption algorithms on
150
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
Tracking is frequently considered a frame-to-frame operation. As such, object recognition techniques are generally too slow to be used for tracking. There are domains, however, wh...
188
click to vote
ISCAS
2007
IEEE
16 years 22 days ago
2007
IEEE
—This paper extends the lifting-based motion threading technique from the frame-based coding to the object-based coding, attracted by the unique advantages of the object-based co...
151
click to vote
ICTAI
2005
IEEE
16 years 1 days ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...