350 search results - page 6 / 70 » Soft Linear Set Theory |
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Soft errors have emerged as an important reliability challenge for nanoscale VLSI designs. In this paper, we present a fast and efficient soft error rate (SER) computation algorit...
TPHOL
2007
IEEE
15 years 3 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
We identify the classical Perceptron algorithm with margin as a member of a broader family of large margin classifiers which we collectively call the Margitron. The Margitron, (des...
HAPTICS
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents a new soft-finger haptic rendering algorithm based on the concept of limit curve which was previously used by the robotic manipulation community to study slid...
TAPIA
2003
ACM
15 years 2 months ago
2003
ACM
In this paper we present an infeasible path-following interiorpoint algorithm for solving linear programs using a relaxed notion of the central path, called quasicentral path, as ...