1692 search results - page 7 / 339 » Applying Science Models for Search |
STOC
2006
ACM
14 years 9 months ago
2006
ACM
Local Search problem, which finds a local minimum of a black-box function on a given graph, is of both practical and theoretical importance to combinatorial optimization, complexi...
ICPR
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper deals with the roles of assumption, mathematical models, and experimental control in Pattern Recognition. In order to base the discussion on actual examples, three stud...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Traditionally, specific telecommunications services were essentially confined to certain types of networks; e.g., television over broadcast networks or cable and voice service ove...
SPIN
2000
Springer
14 years 4 days ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
CP
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...