Sciweavers

17129 search results - page 444 / 3426
» Applied Computing
Sort
View
NIPS
2004
15 years 8 months ago
Methods for Estimating the Computational Power and Generalization Capability of Neural Microcircuits
What makes a neural microcircuit computationally powerful? Or more precisely, which measurable quantities could explain why one microcircuit C is better suited for a particular fa...
Wolfgang Maass, Robert A. Legenstein, Nils Bertsch...
CCS
2009
ACM
16 years 1 months ago
CoSP: a general framework for computational soundness proofs
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
Michael Backes, Dennis Hofheinz, Dominique Unruh
ICIP
1999
IEEE
15 years 11 months ago
A New Anti-Aliasing Algorithm for Computer Graphics Images
This paper presents an area-filtering algorithm for antialiasing technique of computer graphics images. It can be applied to low-resolution image, which the aliasing effect is mor...
Yuan-Hau Yeh, Chen-Yi Lee
IWEC
2004
15 years 8 months ago
Computer Supported Collaborative Sports: Creating Social Spaces Filled with Sports Activities
We present the newly emerging research field of Computer Supported Collaborative Sports (CSCS). By applying innovative input and output technologies, it enables players to experien...
Volker Wulf, Eckehard F. Moritz, Christian Henneke...
NMELP
1994
15 years 11 months ago
Static Semantics as Program Transformation and Well-founded Computation
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
Stefania Costantini, Gaetano Aurelio Lanzarone