2135 search results - page 164 / 427 » An Operational Semantics for JavaScript |
116
click to vote
AI
2010
Springer
15 years 2 months ago
2010
Springer
Many belief change formalisms employ plausibility orderings over the set of possible worlds to determine how the beliefs of an agent ought to be modified after the receipt of a ne...
82
Voted
ICIP
2008
IEEE
15 years 8 months ago
2008
IEEE
We present the results of a systematic study of the contextual gain hypothesis for image classification. This hypothesis relates the traditional strategy of direct visual classi...
182
click to vote
CONCUR
2001
Springer
15 years 6 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
121
click to vote
SRDS
2000
IEEE
15 years 6 months ago
2000
IEEE
Group communication systems are powerful building blocks that facilitate the development of fault-tolerant distributed applications. Such systems generally run in an asynchronous ...
113
click to vote
FLOPS
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...