908 search results - page 52 / 182 » Generating maximal models using the stable model semantics |
147
Voted
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
Many motion detection and tracking algorithms rely on the process of background subtraction, a technique which detects changes from a model of the background scene. We present a n...
128
click to vote
ICDE
2010
IEEE
15 years 4 months ago
2010
IEEE
— A recent trend for data-intensive computations is to use pay-as-you-go execution environments that scale transparently to the user. However, providers of such environments must...
160
click to vote
IS
2006
15 years 4 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
125
click to vote
RR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
155
click to vote
SIAMAM
2008
15 years 4 months ago
2008
Neural fields are an interesting option for modelling macroscopic parts of the cortex involving several populations of neurons, like cortical areas. Two classes of neural field equ...