5284 search results - page 958 / 1057 » Ontologizing Semantic Relations |
246
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
265
Voted
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
158
Voted
EACL
2009
ACL Anthology
16 years 5 months ago
2009
ACL Anthology
Spoken Language Understanding aims at mapping a natural language spoken sentence into a semantic representation. In the last decade two main approaches have been pursued: generati...
132
Voted
KDD
2003
ACM
16 years 5 months ago
2003
ACM
Classification is a well-established operation in text mining. Given a set of labels A and a set DA of training documents tagged with these labels, a classifier learns to assign l...
150
click to vote
CHI
2006
ACM
16 years 5 months ago
2006
ACM
Navigating and understanding the source code of a program are highly challenging activities. This paper introduces a fisheye view of source code to a Java programming environment....