Sciweavers

1529 search results - page 227 / 306
» On the Construction of Ontologies based on Natural Language ...
Sort
View
TLDI
2003
ACM
135views Formal Methods» more  TLDI 2003»
16 years 4 days ago
Typed compilation of recursive datatypes
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, K...
POPL
2006
ACM
16 years 7 months ago
Polymorphic regular tree types and patterns
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
Jerome Vouillon
NLPRS
2001
Springer
15 years 11 months ago
Resolving Ambiguity in Inter-chunk Dependency Parsing
Recently, dependency grammar has become quite popular in relatively free word-order languages. We encounter many structural ambiguities when parsing a sentence using dependency gr...
Mi-Young Kim, Sin-Jae Kang, Jong-Hyeok Lee
IUI
2010
ACM
16 years 3 months ago
Usage patterns and latent semantic analyses for task goal inference of multimodal user interactions
This paper describes our work in usage pattern analysis and development of a latent semantic analysis framework for interpreting multimodal user input consisting speech and pen ge...
Pui-Yu Hui, Wai Kit Lo, Helen M. Meng
VL
2002
IEEE
105views Visual Languages» more  VL 2002»
15 years 11 months ago
A Visual Framework for Modelling with Heterogeneous Notations
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
Jean Flower, John Howse, John Taylor, Stuart Kent