2636 search results - page 227 / 528 » Linear Programming |
201
Voted
CDB
1997
Springer
15 years 7 months ago
1997
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and investigate the expressibility of the topological connectivity query for these databa...
113
Voted
SEKE
2001
Springer
15 years 7 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
125
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
129
Voted
IJCAI
2007
15 years 4 months ago
2007
We explore an application to the game of Go of a reinforcement learning approach based on a linear evaluation function and large numbers of binary features. This strategy has prov...
120
Voted
ISVLSI
2008
IEEE
15 years 9 months ago
2008
IEEE
We present methods to design programs or electronic circuits, for performing any operation on k registers of any sizes in a processor, in such a way that one uses no other working...