6020 search results - page 1088 / 1204 » A New Approach to Model Counting |
149
click to vote
FLAIRS
2004
15 years 6 months ago
2004
er provides new techniques for abstracting the state space of a Markov Decision Process (MDP). These techniques extend one of the recent minimization models, known as -reduction, ...
127
click to vote
IADIS
2004
15 years 6 months ago
2004
This paper aims to provide an experimental vision of the process of course creation using learning objects obtained in the <e-aula> project, a pilot e-learning system concei...
140
click to vote
BDA
2001
15 years 6 months ago
2001
The growth of Internet technologies has unleashed a wave of innovations that are having tremendous impact on the way organisations interact with their partners and customers. It h...
129
click to vote
ESANN
2001
15 years 6 months ago
2001
Aim of the present article is to show the results obtained from the application of neuro-fuzzy methodology in the solution of agriculture problems like the Bactrocera Oleae (olive...
127
click to vote
LISA
2004
15 years 6 months ago
2004
Spyware is a rapidly spreading problem for PC users causing significant impact on system stability and privacy concerns. It attaches to extensibility points in the system to ensur...