Sciweavers

257 search results - page 8 / 52
» connection 1999
Sort
View
GECCO
1999
Springer
106views Optimization» more  GECCO 1999»
15 years 1 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
INFOCOM
1999
IEEE
15 years 1 months ago
Performance of Web Proxy Caching in Heterogeneous Bandwidth Environments
Much work on the performance of Web proxy caching has focused on high-level metrics such as hit rates, but has ignored low-level details such as "cookies," aborted connec...
Anja Feldmann, Ramón Cáceres, Fred D...
ACSAC
1999
IEEE
15 years 1 months ago
An Application of Machine Learning to Network Intrusion Detection
Differentiating anomalous network activity from normal network traffic is difficult and tedious. A human analyst must search through vast amounts of data to find anomalous sequenc...
Chris Sinclair, Lyn Pierce, Sara Matzner
CA
1999
IEEE
15 years 1 months ago
Skin Aging Estimation by Facial Simulation
We propose a layered facial simulation model for skin aging with wrinkles, which includes muscle, connective tissue and skin layer. Our aim is to simulate relevant facial animatio...
Yin Wu, Pierre Beylot, Nadia Magnenat-Thalmann
SIGGRAPH
1999
ACM
15 years 1 months ago
Multiresolution Signal Processing for Meshes
We generalize basic signal processing tools such as downsampling, upsampling, and filters to irregular connectivity triangle meshes. This is accomplished through the design of a ...
Igor Guskov, Wim Sweldens, Peter Schröder