1117 search results - page 142 / 224 » Partial Models of Extended Generalized Logic Programs |
121
click to vote
SIGADA
2004
Springer
15 years 6 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
124
click to vote
MVA
2008
15 years 1 months ago
2008
To track objects in video sequences, many studies have been done to characterize the target with respect to its color distribution. Most often, the Gaussian Mixture Model (GMM) is ...
108
click to vote
ENTCS
2010
15 years 1 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
149
click to vote
CP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In the last decades, the Satisfiability and Constraint Satisfaction Problem frameworks were extended to integrate aspects such as uncertainties, partial observabilities, ...
115
click to vote
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...