1302 search results - page 194 / 261 » Soundness in the Public-Key Model |
BPM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workfl...
138
click to vote
ICDT
2009
ACM
14 years 9 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
We propose a Monte Carlo method for determining the parameters of multipath components (MPCs) for ultra-wideband channels. A partially collapsed Gibbs sampler is used for jointly ...
111
click to vote
CORR
2012
Springer
13 years 7 months ago
2012
Springer
We present a novel approach to constraintbased causal discovery, that takes the form of straightforward logical inference, applied to a list of simple, logical statements about ca...
137
click to vote
KDD
2012
ACM
13 years 2 months ago
2012
ACM
Multi-task learning (MTL) aims to improve the performance of multiple related tasks by exploiting the intrinsic relationships among them. Recently, multi-task feature learning alg...