3713 search results - page 332 / 743 » Constructing a Calculus of Programs |
147
click to vote
LREC
2010
15 years 6 months ago
2010
One of the essential functions of natural language is to talk about spatial relationships between objects. Linguistic constructs can express highly complex, relational structures ...
146
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
148
click to vote
AAAI
2008
15 years 5 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
122
click to vote
GIS
2008
ACM
15 years 5 months ago
2008
ACM
One of the formalisms to qualitatively describe polylines in the plane are double-cross matrices. In a double-cross matrix the relative position of any two line segments in a poly...
118
click to vote
CN
2006
15 years 4 months ago
2006
Expedited Forwarding (EF) is a service defined under the Differentiated Services framework. Based on its recently revised definition in IETF RFC 3246, Packet Scale Rate Guarantee ...