1746 search results - page 255 / 350 » A Constructive Semantics for ALC |
148
Voted
LRE
2006
15 years 3 months ago
2006
When building a new spoken dialogue application, large amounts of domain specific data are required. This paper addresses the issue of generating in-domain training data when litt...
168
click to vote
ICWS
2009
IEEE
15 years 1 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
132
click to vote
IGPL
2010
15 years 1 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
114
Voted
TCS
2010
14 years 10 months ago
2010
The main idea for interpreting concurrent processes as labelled precubical sets is that a given set of n actions running concurrently must be assembled to a labelled ncube, in exac...
150
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...