Sciweavers

908 search results - page 16 / 182
» Generating maximal models using the stable model semantics
Sort
View
ICMCS
2007
IEEE
132views Multimedia» more  ICMCS 2007»
15 years 6 months ago
Two-Layer Generative Models for Sport Video Mining
We present a two-layer generative model for sport video mining that is composed of a two-layer observation model. The first layer is the Gaussian mixture model (GMM) using framew...
Yi Ding, Guoliang Fan, W. Bryan
ICLP
2007
Springer
15 years 5 months ago
Minimal Logic Programs
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
Pedro Cabalar, David Pearce, Agustín Valver...
FM
2005
Springer
114views Formal Methods» more  FM 2005»
15 years 5 months ago
Systematic Implementation of Real-Time Models
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
Martin De Wulf, Laurent Doyen, Jean-Françoi...
93
Voted
JWSR
2006
168views more  JWSR 2006»
14 years 11 months ago
Facilitating the Specification of Semantic Web Services Using Model-Driven Development
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
Gerald C. Gannod, John T. E. Timm, Raynette J. Bro...
ECML
2005
Springer
15 years 5 months ago
On Discriminative Joint Density Modeling
Abstract. We study discriminative joint density models, that is, generative models for the joint density p(c, x) learned by maximizing a discriminative cost function, the condition...
Jarkko Salojärvi, Kai Puolamäki, Samuel ...