2632 search results - page 175 / 527 » Alternating Timed Automata |
119
click to vote
ARTS
1997
Springer
15 years 8 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
175
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
Recently sparse representation has been applied to visual tracker by modeling the target appearance using a sparse approximation over a template set, which leads to the so-called ...
124
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
- In this paper, we present a technique to optimize the energy-delay product of a synchronous linear pipeline circuit with dynamic error detection and correction capability running...
127
click to vote
FOCS
2008
IEEE
15 years 11 months ago
2008
IEEE
The deletion–contraction algorithm is perhaps the most popular method for computing a host of fundamental graph invariants such as the chromatic, flow, and reliability polynomi...
145
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...