1269 search results - page 131 / 254 » Pi-Calculus in Logical Form |
123
click to vote
DAC
2003
ACM
16 years 1 months ago
2003
ACM
Combinational circuits are generally thought of as acyclic structures. It is known that cyclic structures can be combinational, and techniques have been proposed to analyze cyclic...
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
105
Voted
ICSE
2007
IEEE-ACM
16 years 26 days ago
2007
IEEE-ACM
The Alloy tool-set has been gaining popularity as an alternative to traditional manual testing and checking for design correctness. Alloy uses a first-order relational logic for m...
174
click to vote
ILP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Many reinforcement learning domains are highly relational. While traditional temporal-difference methods can be applied to these domains, they are limited in their capaci...
ISCC
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we propose DINPeer, an optimized peer-to-peer (P2P) overlay network for service discovery by overcoming limitations in current multicast discovery approaches and P2...