Sciweavers

4498 search results - page 62 / 900
» How to Invent Functions
Sort
View
ENTCS
2007
102views more  ENTCS 2007»
13 years 7 months ago
Encoding Functional Relations in Scunak
We describe how a set-theoretic foundation for mathematics can be encoded in the new system Scunak. We then discuss an encoding of the construction of functions as functional relat...
Chad E. Brown
MOC
1998
140views more  MOC 1998»
13 years 7 months ago
On a high order numerical method for functions with singularities
By splitting a given singular function into a relatively smooth part and a specially structured singular part, it is shown how the traditional Fourier method can be modified to gi...
Knut S. Eckhoff
CGF
2010
234views more  CGF 2010»
13 years 5 months ago
3D Surface Reconstruction Using a Generalized Distance Function
We define a generalized distance function on an unoriented 3D point set and describe how it may be used to reconstruct a surface approximating these points. This distance function...
R. Poranne, Craig Gotsman, Daniel Keren
ECRTS
2005
IEEE
14 years 1 months ago
Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
Sebastian Fischmeister, Klemens Winkler
CHI
2009
ACM
13 years 11 months ago
Knocking on elders' door: investigating the functional and emotional geography of their domestic space
The domestic environment is more than a place where to live. It is a "territory of meaning", a place where pleasure, affect and aesthetics are deeply interwoven with the...
Chiara Leonardi, Claudio Mennecozzi, Elena Not, Fa...