2880 search results - page 305 / 576 » Types are calling conventions |
175
click to vote
ICPADS
1996
IEEE
15 years 10 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
161
click to vote
ICLP
1997
Springer
15 years 10 months ago
1997
Springer
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the prog...
154
click to vote
PODC
1996
ACM
15 years 10 months ago
1996
ACM
There is tremendous demand for the ability to be able to electronically buy and sell goods over networks. This field is called electronic commerce, and it has inspired a large var...
181
click to vote
SOFSEM
1997
Springer
15 years 10 months ago
1997
Springer
Digital elevation models can represent many types of geographic data. One of the common digital elevation models is the triangulated irregular network also called TIN, or polyhed...
188
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...