4890 search results - page 633 / 978 » From system specifications to component behavioral models |
193
click to vote
CIKM
2005
Springer
16 years 9 days ago
2005
Springer
This paper describes a framework for defining domain specific Feature Functions in a user friendly form to be used in a Maximum Entropy Markov Model (MEMM) for the Named Entity Re...
184
click to vote
ICNS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The study of protocol behavior and traffic characteristics in a simulated environment is commonly supported by ad-hoc or general purpose simulators (e.g., Opnet, NS-2)...
251
click to vote
TSE
2011
15 years 1 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
190
click to vote
MM
2004
ACM
16 years 6 days ago
2004
ACM
Subspace learning techniques are widespread in pattern recognition research. They include Principal Component Analysis (PCA), Locality Preserving Projection (LPP), etc. These tech...
181
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...