2940 search results - page 451 / 588 » Relational Parametricity and Control |
INFOCOM
1998
IEEE
15 years 2 months ago
1998
IEEE
Mobile nodes of the future will be equiped with multiple network interfaces to take advantage of overlay networks, yet no current mobility systems provide full support for the sim...
NDSS
1998
IEEE
15 years 2 months ago
1998
IEEE
The Internet White Pages Service (IWPS) has been slow to materialise for many reasons. One of them is the security concerns that organisations have, over allowing the public to ga...
ACCV
1998
Springer
15 years 2 months ago
1998
Springer
A head tracking system for automatically detecting and tracking human heads in complex backgrounds is developed. In this paper, two issues are addressed: the detection ofhumanhead...
117
click to vote
CP
1998
Springer
15 years 2 months ago
1998
Springer
We use a local search method we term Large Neighbourhood Search (LNS) for solving vehicle routing problems. LNS meshes well with constraint programming technology and is analogous...
DFT
1997
IEEE
15 years 2 months ago
1997
IEEE
Abstract— Error control is a major concern in many computer systems, particularly those deployed in critical applications. Experience shows that most malfunctions during system o...