471 search results - page 39 / 95 » Automatic Mutual Exclusion |
SBIA
2000
Springer
14 years 2 days ago
2000
Springer
In recent years, the Natural Language Processing scene has witnessed the steady growth of interest in connectionist modeling. The main appeal of such an approach is that one does n...
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
EHCI
2004
13 years 10 months ago
2004
We report the specification and evaluation of a browser designed to support sharing of digital photographs. The project integrated outcomes from experiments, ethnographic observati...
FMOODS
2003
13 years 10 months ago
2003
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
IIS
2000
13 years 9 months ago
2000
The Hepar II system is based on a Bayesian network model of a subset of the domain of hepatology in which the structure of the network is elicited from an expert diagnostician and ...