126 search results - page 15 / 26 » Interpreted Nets |
WSC
2004
13 years 8 months ago
2004
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...
SCAM
2008
IEEE
14 years 1 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
KDD
1995
ACM
13 years 11 months ago
1995
ACM
We develop,in the context of discriminantanalysis,a generalapproachto the designof neuralarchitectures. It consistsin building a neuralnet ‘around’a statistical model family; ...
NAACL
2010
13 years 5 months ago
2010
This paper introduces the novel task of topic coherence evaluation, whereby a set of words, as generated by a topic model, is rated for coherence or interpretability. We apply a r...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...