5417 search results - page 1076 / 1084 » Simulation Optimization: Methods and Applications |
WISE
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...
ANCS
2005
ACM
14 years 28 days ago
2005
ACM
Network edge packet-processing systems, as are commonly implemented on network processor platforms, are increasingly required to support a rich set of services. These multi-servic...
MUM
2005
ACM
14 years 28 days ago
2005
ACM
We present PhoneGuide – an enhanced museum guidance approach that uses camera-equipped mobile phones and on-device object recognition. Our main technical achievement is a simple...
GECCO
2005
Springer
14 years 27 days ago
2005
Springer
GP uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees, and GP searches t...
VSTTE
2005
Springer
14 years 25 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...