12373 search results - page 2289 / 2475 » Semi-Logarithmic Number Systems |
135
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
The growing use of digital signal processors (DSPs) in embedded systems necessitates the use of optimizing compilers supporting special hardware features. Due to the irregular arc...
137
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
127
click to vote
CIARP
2006
Springer
15 years 7 months ago
2006
Springer
Error correcting output codes (ECOC) represent a successful extension of binary classifiers to address the multiclass problem. Lately, the ECOC framework was extended from the bina...
128
Voted
CICLING
2006
Springer
15 years 7 months ago
2006
Springer
The automatic generation of back-of-the book indexes seems to be out of sight of the Information Retrieval and Natural Language Processing communities, although the increasingly la...
140
Voted
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...