4502 search results - page 768 / 901 » Regular Model Checking |
138
click to vote
COR
2010
15 years 4 months ago
2010
: In this paper, we study a new variant of the vehicle routing problem (VRP) with time windows, multi-shift, and overtime. In this problem, a limited fleet of vehicles is used repe...
139
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper tackles the problem of how two selfish users jointly determine the operating point in the achievable rate region of a two-user Gaussian interference channel through barg...
134
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Intrusion detection systems have become a key component in ensuring the safety of systems and networks. As networks grow in size and speed continues to increase, it is crucial tha...
151
click to vote
CAD
2006
Springer
15 years 4 months ago
2006
Springer
Limited by the regular grids in computing, many modelling approaches (e.g., field-based methods) sample 3D shape insensitive to sharp features therefore exhibit aliasing errors, b...
139
click to vote
COMGEO
2007
ACM
15 years 4 months ago
2007
ACM
In this paper we present a package for implementing exact kinetic data structures built on objects which move along polynomial trajectories. We discuss how the package design was ...