5863 search results - page 1106 / 1173 » On Model-Checking of P Systems |
146
Voted
AIED
2009
Springer
15 years 10 months ago
2009
Springer
Researchers that make tutoring systems would like to know which pieces of educational content are most effective at promoting learning among their students. Randomized controlled e...
193
Voted
SAGA
2009
Springer
15 years 10 months ago
2009
Springer
We propose a generic method for obtaining quickly good upper bounds on the minimal value of a multistage stochastic program. The method is based on the simulation of a feasible dec...
139
click to vote
IMC
2009
ACM
15 years 10 months ago
2009
ACM
Statistical machine learning techniques have recently garnered increased popularity as a means to improve network design and security. For intrusion detection, such methods build ...
155
Voted
KCAP
2009
ACM
15 years 10 months ago
2009
ACM
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...
136
Voted
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...