2713 search results - page 371 / 543 » Parameterized Tree Systems |
220
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
190
click to vote
GLOBECOM
2007
IEEE
16 years 23 days ago
2007
IEEE
— A robust and flexible wireless video multicast system with the H.264 scalable video coding (SVC) coding format and network coding (NC) is proposed in this work. The system ena...
181
click to vote
ICC
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract— Many sensor networks (SN) use in-network aggregation to minimize the amount of data transmitted by sensors. Unfortunately, aggregation makes the network more vulnerable...
170
click to vote
SIES
2007
IEEE
16 years 21 days ago
2007
IEEE
— High level synthesis is one of the next major steps to improve the hw/sw co-design process. The advantages of high nthesis are two-fold. At first the level of abstraction is r...
182
click to vote
ICPR
2006
IEEE
16 years 14 days ago
2006
IEEE
In hand shape recognition, transformation invariance is key for successful recognition. We propose a system that is invariant to small scale, translation and shape variations. Thi...