14331 search results - page 47 / 2867 » On the modeling and analysis of obligations |
144
Voted
JMLR
2006
15 years 1 months ago
2006
We develop a new component analysis framework, the Noisy-Or Component Analyzer (NOCA), that targets high-dimensional binary data. NOCA is a probabilistic latent variable model tha...
175
click to vote
CC
2008
Springer
15 years 3 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
101
click to vote
COLING
2010
14 years 9 months ago
2010
We describe the implementation of reranking models for fine-grained opinion analysis
CAISE
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...