1746 search results - page 255 / 350 » A Constructive Semantics for ALC |
103
click to vote
LRE
2006
15 years 19 days 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...
128
Voted
ICWS
2009
IEEE
14 years 10 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...
104
Voted
IGPL
2010
14 years 10 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...
78
Voted
TCS
2010
14 years 7 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...
116
click to vote
PLDI
2010
ACM
15 years 5 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...