Sciweavers

8903 search results - page 136 / 1781
» Alternative
Sort
View
GECCO
2006
Springer
130views Optimization» more  GECCO 2006»
15 years 9 months ago
Investigation on artificial ant using analytic programming
The paper deals with a alternative tool for symbolic regression
Zuzana Oplatková, Ivan Zelinka
DLOG
2007
15 years 8 months ago
A Proof Theory for DL-Lite
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
Diego Calvanese, Evgeny Kharlamov, Werner Nutt
WSC
2007
15 years 8 months ago
Determining efficient simulation run lengths for real time decision making
Suppose that there are a number of alternative ways of operating a system, and a performance measure is available for comparing them. Simulation runs can be carried out to estimat...
Russell C. H. Cheng
BPM
2008
Springer
136views Business» more  BPM 2008»
15 years 8 months ago
On the Formal Generation of Process Redesigns
Business Process Redesign (BPR) is a process oriented methodology to improve organizations. Although literature on BPR is available in abundance, little concrete support on how to ...
Mariska Netjes, Hajo A. Reijers, Wil M. P. van der...
CVPR
2008
IEEE
15 years 7 months ago
Extracting smooth and transparent layers from a single image
Layer decomposition from a single image is an underconstrained problem, because there are more unknowns than equations. This paper studies a slightly easier but very useful altern...
Sai Kit Yeung, Tai-Pang Wu, Chi-Keung Tang