3373 search results - page 433 / 675 » Linear transformations on codes |
145
Voted
MP
2002
15 years 3 months ago
2002
The bounded multiple-class binary knapsack problem is a variant of the knapsack problem where the items are partitioned into classes and the item weights in each class are a multip...
108
Voted
TITB
2010
14 years 10 months ago
2010
Four time-frequency and time-scale methods are studied for their ability of detecting myoclonic seizures from accelerometric data. Methods that are used are: the short-time Fourier...
139
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
99
Voted
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
We describe twinning and its applications to adapting programs to alternative APIs. Twinning is a simple technique that allows programmers to specify a class of program changes, i...
150
Voted
PASTE
1999
ACM
15 years 8 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...