5203 search results - page 178 / 1041 » An approach to workflow modeling and analysis |
158
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
192
click to vote
JMLR
2012
13 years 8 months ago
2012
The development of accurate models and efficient algorithms for the analysis of multivariate categorical data are important and longstanding problems in machine learning and compu...
166
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...
168
click to vote
TASLP
2008
15 years 6 months ago
2008
A method is described for estimating the fundamental frequencies of several concurrent sounds in polyphonic music and multiple-speaker speech signals. The method consists of a comp...
180
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...