3317 search results - page 53 / 664 » Strategies in Rigid-Variable Methods |
108
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
122
click to vote
ILP
2003
Springer
15 years 9 months ago
2003
Springer
Boosting has established itself as a successful technique for decreasing the generalization error of classification learners by basing predictions on ensembles of hypotheses. Whil...
124
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
One promising approach to more effective software development is the concept of product platform originated from mechanical engineering, aiming at architectural product families i...
104
click to vote
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
In the previous reports, we presented a miniature inpipe robot called MRINSPECT (Multifunctional Robotic crawler for INpipe inSPECTion) IV which has been developed for the inspect...
131
click to vote
SIGECOM
2010
ACM
15 years 8 months ago
2010
ACM
We analyze the complexity of computing pure strategy Nash equilibria (PSNE) in symmetric games with a fixed number of actions. We restrict ourselves to “compact” representati...