19936 search results - page 21 / 3988 » Inductive process modeling |
107
Voted
EMNLP
2011
14 years 2 months ago
2011
129
Voted
AIPS
2006
15 years 3 months ago
2006
Researchers often express probabilistic planning problems as Markov decision process models and then maximize the expected total reward. However, it is often rational to maximize ...
112
click to vote
LPAR
2010
Springer
15 years 20 days ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
110
click to vote
ERLANG
2004
ACM
15 years 7 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present a novel wire duplication-based interconnect modeling technique. The proposed modeling technique exploits the sparsity of the L 1 matrix, where L is the ...