Sciweavers

4303 search results - page 63 / 861
» Are We There Yet
Sort
View
115
Voted
GECCO
1999
Springer
106views Optimization» more  GECCO 1999»
15 years 5 months ago
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
Marc Fuchs, Dirk Fuchs, Matthias Fuchs
ECOOPW
1998
Springer
15 years 5 months ago
Object-Oriented Frameworks: Architecture Adaptability
Quality and economical aspects of software development are strictly related. Adaptability, as a feature of quality, fosters reuse and the resulting economies of scale. Domain anal...
Paolo Predonzani, Giancarlo Succi, Andrea Valerio,...
134
Voted
AMFG
2007
IEEE
255views Biometrics» more  AMFG 2007»
15 years 4 months ago
A New Probabilistic Model for Recognizing Signs with Systematic Modulations
Abstract. This paper addresses an aspect of sign language (SL) recognition that has largely been overlooked in previous work and yet is integral to signed communication. It is the ...
Sylvie C. W. Ong, Surendra Ranganath
90
Voted
GLOBECOM
2007
IEEE
15 years 4 months ago
Capacity Assignment for Delay Bounded Packet Traffic
The capacity assignment (CA) problem is one of the most essential yet important topics in packet communication networks. However, most reported CA models were established under the...
Xian Liu
105
Voted
APLAS
2006
ACM
15 years 4 months ago
Combining Offline and Online Optimizations: Register Allocation and Method Inlining
Abstract. Fast dynamic compilers trade code quality for short compilation time in order to balance application performance and startup time. This paper investigates the interplay o...
Hiroshi Yamauchi, Jan Vitek