14331 search results - page 387 / 2867 » On the modeling and analysis of obligations |
176
click to vote
ICDAR
2003
IEEE
16 years 4 days ago
2003
IEEE
Line detection algorithms constitute the basis for technical document analysis and recognition. The performance of these algorithms decreases as the quality of the documents degra...
197
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
We present a game-theoretic foundation for gene regulatory analysis based on the recent formalism of rewriting game theory. Rewriting game theory is discrete and comes with a graph...
215
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
210
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Probabilistic models with hidden variables such as probabilistic Latent Semantic Analysis (pLSA) and Latent Dirichlet Allocation (LDA) have recently become popular for so...
130
click to vote
ACL
2007
15 years 8 months ago
2007
A standard form of analysis for linguistic typology is the universal implication. These implications state facts about the range of extant languages, such as “if objects come af...