3191 search results - page 262 / 639 » Qualitative Modeling in Education |
166
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
198
click to vote
JUCS
2006
15 years 7 months ago
2006
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...
183
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents two different efficiency-enhancement techniques for probabilistic model building genetic algorithms. The first technique proposes the use of a mutatio...
239
click to vote
CORR
1998
Springer
15 years 7 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
176
click to vote
DESRIST
2010
Springer
16 years 6 days ago
2010
Springer
Maturity models are a well-known instrument to support the improvement of functional domains in IS, like software development or testing. While maturity models may share a common s...