Sciweavers

471 search results - page 45 / 95
» An Extensible Monitoring and Adaptation Framework
Sort
View
GECCO
1999
Springer
148views Optimization» more  GECCO 1999»
15 years 10 months ago
An Analysis of Automatic Subroutine Discovery in Genetic Programming
This paper analyses Rosca's ARL as a general framework for automatic subroutine discovery. We review and compare a number of heuristics for code selection, and experimentally...
Antonello Dessi, Antonella Giani, Antonina Starita
WETICE
2007
IEEE
16 years 12 days ago
Towards Configurable Process Visualizations with Proviado
Visualizing complex business processes is an important task of process-aware information systems (PAIS). Current PAIS, however, fail in providing adequate mechanisms for visualizi...
Ralph Bobrik, Thomas Bauer
ICIP
2003
IEEE
16 years 7 months ago
A novel cost-distortion optimization framework for video streaming over differentiated services networks
This paperpresentsa novel framework for streamingvideo over a Differentiated Services (DifPjew) network that jointly considers video source coding. packet classification and error...
Fan Zhai, Yiftach Eisenberg, Carlos E. Luna, Thras...
EVOW
2012
Springer
14 years 1 months ago
HyFlex: A Benchmark Framework for Cross-Domain Heuristic Search
This paper presents HyFlex, a software framework for the development of cross-domain search methodologies. The framework features a common software interface for dealing with diff...
Gabriela Ochoa, Matthew R. Hyde, Timothy Curtois, ...
CORR
2010
Springer
194views Education» more  CORR 2010»
15 years 3 months ago
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
Stéphane Lengrand, Roy Dyckhoff, James McKi...