Sciweavers

1750 search results - page 109 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
ICCPOL
2009
Springer
15 years 10 months ago
Processing of Korean Natural Language Queries Using Local Grammars
Abstract. For casual web users, a natural language is more accessible than formal query languages. However, understanding of a natural language query is not trivial for computer sy...
Tae-Gil Noh, Yong-Jin Han, Seong-Bae Park, Se-Youn...
POPL
2003
ACM
16 years 6 months ago
Toward a foundational typed assembly language
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
Karl Crary
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
15 years 9 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
COSIT
2007
Springer
126views GIS» more  COSIT 2007»
15 years 10 months ago
Evaluation of a Semantic Similarity Measure for Natural Language Spatial Relations
Consistent and flawless communication between humans and machines is the precondition for a computer to process instructions correctly. While machines use well-defined languages an...
Angela Schwering
PLDI
2012
ACM
13 years 8 months ago
The implicit calculus: a new foundation for generic programming
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Ch...