10159 search results - page 1989 / 2032 » System Design Validation Using Formal Models |
137
Voted
ICIP
2004
IEEE
16 years 3 months ago
2004
IEEE
Motion segmentation is a classic and on-going research topic which is an important pre-stage for many video processes. The reliability of the motion field calculation directly dete...
127
click to vote
SENSYS
2005
ACM
15 years 7 months ago
2005
ACM
Radio duty cycling has received significant attention in sensor networking literature, particularly in the form of protocols for medium access control and topology management. Whi...
142
click to vote
CIVR
2008
Springer
15 years 4 months ago
2008
Springer
There is an explosion of community-generated multimedia content available online. In particular, Flickr constitutes a 200-million photo sharing system where users participate foll...
137
Voted
CONEXT
2009
ACM
15 years 3 months ago
2009
ACM
We consider the problem of traffic management in small networks with both wireless and wired devices, connected to the Internet through a single gateway. Examples of such networks...
111
Voted
FCCM
2003
IEEE
15 years 7 months ago
2003
IEEE
Hardware simulation of channel codes offers the potential of improving code evaluation speed by orders of magnitude over workstation- or PC-based simulation. We describe a hardwar...