3820 search results - page 379 / 764 » Bounded Model Debugging |
120
click to vote
NOSSDAV
2009
Springer
15 years 11 months ago
2009
Springer
Peer-assisted online storage and distribution systems have recently enjoyed large-scale deployment gaining increased popularity for multimedia content sharing in the Internet. Suc...
182
click to vote
WADS
2007
Springer
15 years 10 months ago
2007
Springer
Range searching is a well known problem in the area of geometric data structures. We consider this problem in the context of approximation, where an approximation parameter ε >...
125
click to vote
MMMACNS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The recent proliferation of Internet worms has raised questions about defensive measures. To date most techniques proposed are passive, in-so-far as they attempt to block...
154
click to vote
ICLP
2004
Springer
15 years 10 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
132
click to vote
SDM
2010
SIAM
15 years 6 months ago
2010
SIAM
Lack of labeled training examples is a common problem for many applications. In the same time, there is usually an abundance of labeled data from related tasks. But they have diff...