1059 search results - page 119 / 212 » Unification-Based Semantic Interpretation |
115
click to vote
TCS
2010
14 years 11 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...
570
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
This paper shows that an image can be approximately reconstructed based on the output of a blackbox local description software such as those classically used for image indexing. Ou...
192
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
3D object detection and importance regression/ranking are at the core for semantically interpreting 3D medical images of computer aided diagnosis (CAD). In this paper, we propose ...
160
click to vote
POPL
2012
ACM
14 years 4 hour ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
155
click to vote
TIME
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...