4224 search results - page 276 / 845 » Reasoning about Choice |
229
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
182
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
The success of evolutionary algorithms (EAs) depends crucially on finding suitable parameter settings. Doing this by hand is a very time consuming job without the guarantee to ...
151
click to vote
ICANN
2005
Springer
16 years 24 days ago
2005
Springer
The efficacy of two evolutionary approaches to the problem of generation of heuristical linear and non-linear evaluation functions in the game of give-away checkers is tested in th...
200
click to vote
CSL
2004
Springer
16 years 21 days ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
195
click to vote
DATE
2003
IEEE
16 years 18 days ago
2003
IEEE
Managing the complexity of designing chips containing billions of transistors requires decoupling computation from communication. For the communication, scalable and compositional...