4502 search results - page 523 / 901 » Regular Model Checking |
167
Voted
ITS
2004
Springer
16 years 4 days ago
2004
Springer
Recent research has indicated that misuse of intelligent tutoring software is correlated with substantially lower learning. Students who frequently engage in behavior termed “gam...
159
click to vote
BIRTHDAY
1997
Springer
15 years 11 months ago
1997
Springer
We study a Lindenmayer-like parallel rewriting system to model the growth of filaments (arrays of cells) in which developmental errors may occur. In essence this model is the fuzz...
173
click to vote
WSC
2007
15 years 9 months ago
2007
The appropriate production and inventory control policy is a key factor for modern enterprises’ success in competitive environment. In the food industry, most of food manufactur...
202
click to vote
DAGM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The paper presents an unsupervised method for partiallyblurred image restoration without influencing unblurred regions or objects. Maximum a posteriori estimation of para...
167
click to vote
EMNLP
2007
15 years 8 months ago
2007
In this paper, we describe a new algorithm for recovering WH-trace empty nodes. Our approach combines a set of hand-written patterns together with a probabilistic model. Because t...