Sciweavers

5693 search results - page 1015 / 1139
» Socially relevant computing
Sort
View
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 5 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
DEBS
2007
ACM
15 years 5 months ago
Modeling the communication costs of content-based routing: the case of subscription forwarding
Content-based routing (CBR) provides the core distribution support of several middleware paradigms, most notably content-based publish-subscribe. Despite its popularity, however, ...
Stefano Castelli, Paolo Costa, Gian Pietro Picco
GECCO
2007
Springer
212views Optimization» more  GECCO 2007»
15 years 5 months ago
Controlling overfitting with multi-objective support vector machines
Recently, evolutionary computation has been successfully integrated into statistical learning methods. A Support Vector Machine (SVM) using evolution strategies for its optimizati...
Ingo Mierswa
VISSYM
2007
15 years 4 months ago
Parametric Visualization of High Resolution Correlated Multi-spectral Features Using PCA
An imaging mass spectrometer is an analytical instrument that can determine the spatial distribution of chemical compounds on complex surfaces. The output of the device is a multi...
Alexander Broersen, Robert van Liere, Ron M. A. He...
APGV
2010
ACM
328views Visualization» more  APGV 2010»
15 years 3 months ago
Can I pass?: using affordances to measure perceived size in virtual environments
Perception of an accurate sense of the scale depicted in computer graphics is important for many applications. How to best characterize the accuracy of space perception in compute...
Michael Geuss, Jeanine Stefanucci, Sarah H. Creem-...
« Prev « First page 1015 / 1139 Last » Next »