1768 search results - page 162 / 354 » A Logic for Algebraic Effects |
217
click to vote
MFCS
1991
Springer
15 years 10 months ago
1991
Springer
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
204
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, a new document image binarization technique is presented, as an improved version of the state-of-the-art adaptive logical level technique (ALLT). The original ALLT ...
165
click to vote
GLVLSI
2006
IEEE
16 years 1 months ago
2006
IEEE
A new circuit technique based on a single PMOS sleep transistor and a dual threshold voltage CMOS technology is proposed in this paper for simultaneously reducing subthreshold and...
190
click to vote
IAT
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
175
click to vote
ICCSA
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Though some studies involving general micro-mobility exist, micromobility research concerning a mobile node (MN) moving between Mobile Anchor Points (MAP) is lacking. In ...