2409 search results - page 304 / 482 » Logical systems for structured specifications |
110
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
134
click to vote
ICML
1996
IEEE
16 years 4 months ago
1996
IEEE
This paper discusses issues related to Bayesian network model learning for unbalanced binary classification tasks. In general, the primary focus of current research on Bayesian ne...
152
click to vote
ICDIM
2008
IEEE
15 years 10 months ago
2008
IEEE
The domain of Digital Libraries presents specific challenges for unsupervised information extraction to support both the automatic classification of documents and the enhancement ...
134
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
137
click to vote
EHCI
2004
15 years 5 months ago
2004
Most of the current WWW is made up of dynamic pages. The development of dynamic pages is a difficult and costly endeavour, out-of-reach for most users, experts, and content produce...