4902 search results - page 697 / 981 » Structures, Semantics and Statistics |
166
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
194
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
In type logical categorial grammar the analysis of an expression is a resource-conscious proof. Anaphora represents a particular challenge to this approach in that the antecedent ...
171
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
In this work we present the Internet Backplane Protocol (IBP), a middleware created to allow the sharing of storage resources, implemented as part of the network fabric. IBP allow...
154
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
170
Voted
ICWE
2010
Springer
15 years 11 months ago
2010
Springer
Due to the availability of huge number of Web services (WSs), finding an appropriate WS according to the requirement of a service consumer is still a challenge. In this paper, we ...