2904 search results - page 412 / 581 » Number Forms in the Brain |
167
click to vote
ENTCS
2008
15 years 6 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
218
click to vote
ASE
2006
15 years 6 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
191
click to vote
FGCS
2008
15 years 6 months ago
2008
This paper proposes a bio-inspired approach tailored to the construction of a Grid information system in which content, specifically metadata descriptors that specify the characte...
184
Voted
IAJIT
2008
15 years 6 months ago
2008
: Compression is the process of representing information in a compact form so as to reduce the bit rate for transmission or storage while maintaining acceptable fidelity or data qu...
158
click to vote
COMPUTING
2006
15 years 6 months ago
2006
The idea of containment sets (csets) is due to Walster and Hansen, and the theory is mainly due to the first author. Now that floating point computation with infinities is widely a...