4135 search results - page 715 / 827 » Application Modeling for the Semantic Web |
115
click to vote
IJCV
2007
15 years 4 months ago
2007
The machine interpretation of line drawings has applications both in vision and geometric modelling. This paper extends the classic technique of assigning semantic labels to lines ...
144
click to vote
BSL
2004
15 years 4 months ago
2004
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
107
click to vote
ACL
2010
15 years 2 months ago
2010
Despite its substantial coverage, NomBank does not account for all withinsentence arguments and ignores extrasentential arguments altogether. These arguments, which we call implic...
139
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
134
click to vote
FMCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...