6020 search results - page 73 / 1204 » A New Approach to Model Counting |
125
click to vote
ALENEX
2007
15 years 5 months ago
2007
In polyhedral studies of 0/1 polytopes two prominent problems exist. One is the vertex enumeration problem: Given a system of inequalities, enumerate its feasible 0/1 points. Anot...
160
Voted
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
This paper addresses recognition of human activities with stochastic structure, characterized by variable spacetime arrangements of primitive actions, and conducted by a variable ...
149
Voted
IJON
2006
15 years 3 months ago
2006
We introduce a new approach to model the behavior of neuronal signal transduction networks using stochastic differential equations. We present first a mathematical formulation for...
139
Voted
NAACL
2004
15 years 5 months ago
2004
We demonstrate a new research approach to the problem of predicting the reading difficulty of a text passage, by recasting readability in terms of statistical language modeling. W...
117
Voted
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...