15779 search results - page 2909 / 3156 » Change-oriented software engineering |
138
click to vote
Publication
We present an algorithm for multi-person tracking-bydetection
in a particle filtering framework. To address the
unreliability of current state-of-the-art object detectors, our
a...
116
click to vote
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
162
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
103
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
131
click to vote
ICWS
2009
IEEE
15 years 11 months ago
2009
IEEE
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...