908 search results - page 90 / 182 » Generating maximal models using the stable model semantics |
151
click to vote
NFM
2011
14 years 11 months ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
195
click to vote
SBMF
2010
Springer
14 years 11 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
111
click to vote
ER
2006
Springer
15 years 8 months ago
2006
Springer
When trying to obtain semantical interoperability between different information systems, the integration of heterogeneous information sources is a fundamental task. An important st...
145
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
In the paper we present a generalized discriminative multiple instance learning algorithm (GD-MIL) for multimedia semantic concept detection. It combines the capability of the MIL...
128
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...