1658 search results - page 88 / 332 » Implementing Bit-addressing with Specialization |
91
Voted
ACMSE
2008
ACM
15 years 2 months ago
2008
ACM
Using a problem domain motivated by Bentley's"Little Languages" column [1], this paper explores the use of the Ruby programming language's flexible syntax, dyn...
79
Voted
ESANN
2007
15 years 2 months ago
2007
This paper reviews the recent surge of interest in convex optimization in a context of pattern recognition and machine learning. The main thesis of this paper is that the design of...
113
Voted
SNPD
2008
15 years 2 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
112
click to vote
ESANN
2004
15 years 2 months ago
2004
A novel face recognition approach is proposed, based on the use of compressed discriminative features and recurrent neural classifiers. Low-dimensional feature vectors are extract...
120
click to vote
FORTE
2004
15 years 2 months ago
2004
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...