Sciweavers

844 search results - page 132 / 169
» Semantic Analysis of Matrix Structures
Sort
View
100
Voted
COLING
1996
15 years 4 months ago
Focus and Higher-Order Unification
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
Claire Gardent, Michael Kohlhase
CN
1998
97views more  CN 1998»
15 years 3 months ago
An Architectural Description of Intelligent Network Features and Their Interactions
A brief explanation is given of the language ANISE (Architectural Notions In Service Engineering) that can be used to describe generic services as well as telecommunications servi...
Kenneth J. Turner
146
Voted
LICS
2010
IEEE
15 years 1 months ago
A Generic Operational Metatheory for Algebraic Effects
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
Patricia Johann, Alex Simpson, Janis Voigtlän...
COLING
2010
14 years 10 months ago
Expressing OWL axioms by English sentences: dubious in theory, feasible in practice
With OWL (Web Ontology Language) established as a standard for encoding ontologies on the Semantic Web, interest has begun to focus on the task of verbalising OWL code in controll...
Richard Power, Allan Third
UAI
2003
15 years 4 months ago
On the Convergence of Bound Optimization Algorithms
Many practitioners who use EM and related algorithms complain that they are sometimes slow. When does this happen, and what can be done about it? In this paper, we study the gener...
Ruslan Salakhutdinov, Sam T. Roweis, Zoubin Ghahra...