Sciweavers

9842 search results - page 1521 / 1969
» Compositional timing analysis
Sort
View
BPM
2009
Springer
161views Business» more  BPM 2009»
15 years 11 months ago
Trace Clustering Based on Conserved Patterns: Towards Achieving Better Process Models
Process mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms ...
R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aa...
CANS
2009
Springer
136views Cryptology» more  CANS 2009»
15 years 11 months ago
Verifying Anonymous Credential Systems in Applied Pi Calculus
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
Xiangxi Li, Yu Zhang, Yuxin Deng
WADS
2009
Springer
245views Algorithms» more  WADS 2009»
15 years 11 months ago
Online Square Packing
We analyze the problem of packing squares in an online fashion: Given an semi-infinite strip of width 1 and an unknown sequence of squares with side lengths in [0, 1] that arrive...
Sándor P. Fekete, Tom Kamphans, Nils Schwee...
ATAL
2009
Springer
15 years 11 months ago
Pick-a-bundle: a novel bundling strategy for selling multiple items within online auctions
In this paper, we consider the design of an agent that is able to autonomously make optimal bundling decisions when selling multiple heterogeneous items within existing online auc...
Ioannis A. Vetsikas, Alex Rogers, Nicholas R. Jenn...
CAIP
2009
Springer
220views Image Analysis» more  CAIP 2009»
15 years 11 months ago
Rotation Invariant Texture Classification Using Binary Filter Response Pattern (BFRP)
Using statistical textons for texture classification has shown great success recently. The maximal response 8 (MR8) method, which extracts an 8-dimensional feature set from 38 filt...
Zhenhua Guo, Lei Zhang, David Zhang
« Prev « First page 1521 / 1969 Last » Next »