21490 search results - page 645 / 4298 » Business Process Modeling |
183
click to vote
FORTE
2001
15 years 8 months ago
2001
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
181
click to vote
TREC
2003
15 years 8 months ago
2003
Our aim of participating in this year’s High Accuracy Retrieval from Documents (HARD) track is to explore the possibility of developing an automated HARD retrieval model by leve...
195
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
167
click to vote
ICML
2008
IEEE
16 years 8 months ago
2008
IEEE
The dynamic hierarchical Dirichlet process (dHDP) is developed to model the timeevolving statistical properties of sequential data sets. The data collected at any time point are r...
204
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...