5244 search results - page 784 / 1049 » Structural Complexity of AvgBPP |
209
click to vote
FOSSACS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
178
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
Refactoring aims to improve the quality of a software systems’ structure, which tends to degrade as the system evolves. While manually determining useful refactorings can be cha...
163
Voted
ICSOC
2007
Springer
16 years 25 days ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
228
click to vote
ILP
2007
Springer
16 years 25 days ago
2007
Springer
Statistical Relational Learning (SRL) combines the benefits of probabilistic machine learning approaches with complex, structured domains from Inductive Logic Programming (ILP). W...
171
click to vote
ISNN
2007
Springer
16 years 25 days ago
2007
Springer
Normal fuzzy CMAC neural network performs well because of its fast learning speed and local generalization capability for approximating nonlinear functions. However, it requires hu...