Sciweavers

8582 search results - page 169 / 1717
» Here or There
Sort
View
WSC
2007
15 years 8 months ago
Analysis and generation of random vectors with copulas
Copulas are used in finance and insurance for modeling stochastic dependency. They comprehend the entire dependence structure, not only the correlations. Here they are estimated ...
Johann Christoph Strelen, Feras Nassaj
AH
2008
Springer
15 years 8 months ago
Does 'Notice' Prompt Noticing? Raising Awareness in Language Learning with an Open Learner Model
Open learner models (OLM) are learner models that are accessible to the learner they represent. Many examples now exist, often with the aim of prompting learner reflection on their...
Gheida Shahrour, Susan Bull
AISC
2008
Springer
15 years 8 months ago
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
Peter Chapman, James McKinna, Christian Urban
ALPIT
2008
IEEE
15 years 8 months ago
Using Semantic Roles for Coreference Resolution
In this paper, we systematically explore the use of semantic roles in coreference resolution. Here, the semantic roles are automatically determined using a state-of-the-art SRL sy...
Fang Kong, Yancui Li, Guodong Zhou, Qiaoming Zhu, ...
AMAST
2008
Springer
15 years 8 months ago
Petri Nets Are Dioids
In a seminal paper Montanari and Meseguer showed that an algebraic interpretation of Petri nets in terms of commutative monoids can be used to provide an elegant characterisation o...
Paolo Baldan, Fabio Gadducci