5510 search results - page 279 / 1102 » Mathematics |
157
click to vote
ENTCS
2006
15 years 6 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
146
click to vote
CG
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we address interactive shape modelling of geometric shapes defined by mathematical functions. We introduce mathematical operators that implement modifications of g...
150
click to vote
IJON
2006
15 years 6 months ago
2006
Winner-Takes-All (WTA) prescriptions for Learning Vector Quantization (LVQ) are studied in the framework of a model situation: Two competing prototype vectors are updated accordin...
136
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— We propose an axiomatic approach to the concept of an intrinsic dimension of a dataset, based on a viewpoint of geometry of high-dimensional structures. Our first axiom postul...
121
click to vote
JFP
2008
15 years 6 months ago
2008
We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the...