Sciweavers

1689 search results - page 78 / 338
» On Natural Non-dcpo Domains
Sort
View
ECCC
2010
74views more  ECCC 2010»
15 years 6 months ago
Testing linear-invariant non-linear properties: A short report
The rich collection of successes in property testing raises a natural question: Why are so many different properties turning out to be locally testable? Are there some broad "...
Arnab Bhattacharyya, Victor Chen, Madhu Sudan, Nin...
INLG
2010
Springer
15 years 4 months ago
Charting the Potential of Description Logic for the Generation of Referring Expressions
The generation of referring expressions (GRE), an important subtask of Natural Language Generation (NLG) is to generate phrases that uniquely identify domain entities. Until recen...
Yuan Ren, Kees van Deemter, Jeff Z. Pan
CAISE
2003
Springer
15 years 11 months ago
The S3 (Strategy-Service-Support) Framework for Business Process Modelling
One of the central activities in developing requirements for business processes is that of modelling the constituent parts of both existing and future processes. This position pape...
Pericles Loucopoulos
CSL
2000
Springer
15 years 10 months ago
Continuous Functionals of Dependent Types and Equilogical Spaces
We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent pro...
Andrej Bauer, Lars Birkedal
ECML
1998
Springer
15 years 10 months ago
First-Order Learning for Web Mining
We present compelling evidence that the World Wide Web is a domain in which applications can benefit from using first-order learning methods, since the graph structure inherent in ...
Mark Craven, Seán Slattery, Kamal Nigam