3456 search results - page 123 / 692 » Algorithms for Interface Synthesis |
IFIP
2007
Springer
15 years 6 months ago
2007
Springer
Although providing reliable network services is getting more and more important, currently used methods in IP networks are typically reactive and error correcting can take a long t...
95
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
— The aggregate capacity of wireless ad-hoc networks can be substantially increased if each wireless node is equipped with multiple network interface cards (NICs) and each NIC op...
103
Voted
CVPR
2003
IEEE
16 years 2 months ago
2003
IEEE
A new algorithm is proposed for removing large objects from digital images. The challenge is to fill in the hole that is left behind in a visually plausible way. In the past, this...
105
click to vote
FM
2008
Springer
15 years 2 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
CGF
2010
15 years 21 days ago
2010
Reconstructing boundaries along material interfaces from volume fractions is a difficult problem, especially because the under-resolved nature of the input data allows for many co...