747 search results - page 81 / 150 » Testing for tunneling opens |
156
click to vote
ICA
2010
Springer
15 years 5 months ago
2010
Springer
SMALLbox is a new foundational framework for processing signals, using adaptive sparse structured representations. The main aim of SMALLbox is to become a test ground for explorati...
157
click to vote
AIR
2004
15 years 5 months ago
2004
The vehicle routing problems with time windows are challenging delivery problems in which instances involving 100 customers or more can be difficult to solve. There were many inter...
119
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Anaphora resolution is envisaged in this paper as part of the reference resolution process. A general open architecture is proposed, which can be particularized and configured in ...
265
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
149
click to vote
SOCIALCOM
2010
15 years 3 months ago
2010
Online communities are connecting large numbers of individuals and generating rich social network data, opening the way for empirical studies of social behavior. In this paper, we ...