2935 search results - page 539 / 587 » An Integrated Approach to High Integrity Software Verificati... |
133
click to vote
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Dynamic programming, branch-and-bound, and constraint programming are the standard solution principles for nding optimal solutions to machine scheduling problems. We propose a new ...
136
click to vote
ENTCS
2002
15 years 4 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
140
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...
167
click to vote
AVI
2010
15 years 5 months ago
2010
Advanced visual interfaces, like the ones found in informaualization, intend to offer a view on abstract data spaces to enable users to make sense of them. By mapping data to visu...
152
click to vote
PETRA
2009
ACM
15 years 10 months ago
2009
ACM
Loosing motor activity due to impaired or damaged nerves or muscles affects millions of people world-wide. The resulting lack of mobility and/or impaired communication bears enorm...