6381 search results - page 121 / 1277 » Alternative Implementation of the C |
161
click to vote
AAAI
2008
15 years 6 months ago
2008
Usually a voting rule requires agents to give their preferences as linear orders. However, in some cases it is impractical for an agent to give a linear order over all the alterna...
158
click to vote
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
141
click to vote
JAR
2006
15 years 4 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
151
click to vote
MANSCI
2007
15 years 4 months ago
2007
Selection procedures are used in a variety of applications to select the best of a finite set of alternatives. ‘Best’ is defined with respect to the largest mean, but the me...
124
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents the optimization techniques and results of implementing the H.264/AVC baseline profile decoder in software on the Sandblaster digital signal processor. It has ...