6740 search results - page 411 / 1348 » Using Classification as a Programming Language |
133
click to vote
JMLR
2012
13 years 6 months ago
2012
Bisubmodularity extends the concept of submodularity to set functions with two arguments. We show how bisubmodular maximization leads to richer value-of-information problems, usin...
122
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
130
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
129
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
107
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
It is very hard to fix a software failure without being able to reproduce it. However, reproducing a failure is often difficult and time-consuming. This paper proposes a novel tech...