Sciweavers

1569 search results - page 83 / 314
» Programming contest strategy
Sort
View
144
Voted
ISOOMS
1994
15 years 4 months ago
Testing of Object-Oriented Programming Systems (OOPS): A Fault-Based Approach
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...
Jane Huffman Hayes
FOAL
2007
ACM
15 years 4 months ago
Aspect-oriented programming with type classes
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
Martin Sulzmann, Meng Wang
WFLP
2000
Springer
163views Algorithms» more  WFLP 2000»
15 years 4 months ago
Cooperative Constraint Functional Logic Programming
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
Mircea Marin, Tetsuo Ida
ENTCS
2008
150views more  ENTCS 2008»
15 years 14 days ago
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming
Defence trees are used to represent attack and defence strategies in security scenarios; the aim in such scenarios is to select the best set of countermeasures that are able to st...
Stefano Bistarelli, Pamela Peretti, Irina Trubitsy...
208
Voted
EMMCVPR
2011
Springer
14 years 4 days ago
Curvature Regularity for Multi-label Problems - Standard and Customized Linear Programming
Abstract. We follow recent work by Schoenemann et al. [25] for expressing curvature regularity as a linear program. While the original formulation focused on binary segmentation, w...
Thomas Schoenemann, Yubin Kuang, Fredrik Kahl