2636 search results - page 339 / 528 » Linear Programming |
139
Voted
CSEE
2006
Springer
15 years 5 months ago
2006
Springer
Test-driven development (TDD) is an agile software development strategy that addresses both design and testing. This paper describes a controlled experiment that examines the effe...
116
Voted
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— We present a novel algorithm for the onedimension offline bin packing problem with discrete item sizes based on the notion of matching the item-size histogram with the...
114
Voted
HAPTICS
2002
IEEE
15 years 8 months ago
2002
IEEE
We have developed a tactile display that uses electric current from the skin surface as a stimulus. Our main objective was to independently stimulate a variety of mechanoreceptors...
150
Voted
ICALP
2011
Springer
14 years 7 months ago
2011
Springer
We present an O( √ n log n)-approximation algorithm for the problem of finding the sparsest spanner of a given directed graph G on n vertices. A spanner of a graph is a sparse ...
144
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...