6047 search results - page 1067 / 1210 » Modeling with Extend |
108
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
109
click to vote
COLING
2010
14 years 9 months ago
2010
Online learning calls for instant assessment and feedback. YanFa is a system developed to score online EnglishChinese translation exercises with intelligent feedback for Chinese n...
111
click to vote
MP
2011
14 years 9 months ago
2011
We consider a quadratic programming (QP) problem (Π) of the form min xT Cx subject to Ax ≥ b where C ∈ Rn×n + , rank(C) = 1 and A ∈ Rm×n , b ∈ Rm . We present an FPTAS ...
141
click to vote
JAIR
2010
14 years 8 months ago
2010
In many AI domains such as product configuration, a user should interactively specify a solution that must satisfy a set of constraints. In such scenarios, offline compilation of ...
117
click to vote
JCNS
2010
14 years 8 months ago
2010
Optimal filtering of noisy voltage signals on dendritic trees is a key problem in computational cellular neuroscience. However, the state variable in this problem -- the vector of...