3742 search results - page 308 / 749 » On the Use of Formal Techniques for Validation |
166
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
Because large scienti c codes are rarely static objects, developers are often faced with the tedious task of accounting for discrepancies between new and old versions. In this pap...
167
click to vote
VISSYM
2007
15 years 9 months ago
2007
Density maps allow for visually rendering density differences, usually mapping density values to a grey or color scale. The paper analyzes the drawbacks arising from the commonly ...
163
click to vote
CPAIOR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The multiple knapsack problem (MKP) is a classical combinatorial optimization problem. A recent algorithm for some classes of the MKP is bin-completion, a bin-oriented, b...
125
click to vote
ISICT
2003
15 years 8 months ago
2003
Techniques from corpus linguistics are applied to the analysis of a number of European right-wing parties in an effort to extend methods for ranking parties on a left-right spectr...
145
click to vote
JSW
2006
15 years 6 months ago
2006
Abstract-- This paper describes a technique combining higher order functions, algebraic datatypes, and monads to incrementally implement syntax driven logics. Extensions can be com...