7918 search results - page 1250 / 1584 » Model Composition Directives |
154
Voted
STOC
2010
ACM
15 years 8 months ago
2010
ACM
We establish the existence of free energy limits for several sparse random hypergraph models corresponding to certain combinatorial models on Erd¨os-R´enyi graph G(N, c/N) and r...
140
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
When modeling business processes, we often implicity think of internal business policies and external regulations. Yet to date, little attention is paid to avoid hard-coding polici...
154
Voted
ECCV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A novel hybrid region-based and contour-based multiple object tracking model using optical flow based elastic matching is proposed. The proposed elastic matching model is...
120
click to vote
MOVEP
2000
15 years 8 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
139
Voted
CCS
2008
ACM
15 years 6 months ago
2008
ACM
In 1998, Blaze, Bleumer, and Strauss suggested a cryptographic primitive termed proxy re-signature in which a proxy transforms a signature computed under Alice's secret key in...