7504 search results - page 1396 / 1501 » Computing with Action Potentials |
126
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
135
Voted
WS
2010
ACM
15 years 1 months ago
2010
ACM
One of the most important decisions researchers face when analyzing software systems is the choice of a proper data analysis/exchange format. In this paper, we present EvoOnt, a s...
233
Voted
APSCC
2010
IEEE
15 years 1 months ago
2010
IEEE
Middleware for web service orchestration, such as runtime engines for executing business processes, workflows, or web service compositions, can easily become performance bottleneck...
134
click to vote
BMVC
2010
15 years 1 months ago
2010
Solving the person re-identification problem involves matching observations of individuals across disjoint camera views. The problem becomes particularly hard in a busy public sce...
207
click to vote
FOCS
2010
IEEE
15 years 1 months ago
2010
IEEE
Boosting is a general method for improving the accuracy of learning algorithms. We use boosting to construct improved privacy-preserving synopses of an input database. These are da...