12459 search results - page 79 / 2492 » cans 2006 |
HEURISTICS
2007
13 years 9 months ago
2007
In this paper, we develop and discuss several distance measures for permutation type representations of solutions of combinatorial optimisation problems. The problems discussed in...
IJBIDM
2010
13 years 7 months ago
2010
: In an urban area, the demand for taxis is not always matched up with the supply. This paper proposes mining historical data to predict demand distributions with respect to contex...
APWEB
2006
Springer
14 years 23 days ago
2006
Springer
This paper presents Triple space computing and described the role it can play in bringing Semantic Web Services to the next level of maturity. In particular the shortcomings of cur...
CSR
2006
Springer
14 years 21 days ago
2006
Springer
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...
ETRICS
2006
14 years 21 days ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...