Search
Now showing items 1-6 of 6
Development of a design model for functionality and content access from rich internet application requirements
(2015)
We have found several methodologies for the development of rich internet applications (RIA); however, they did not give enough attention to the problem of defining both appropriate notations and adequate process for ...
Rooted branching bisimulation as a congruence for probabilistic transition systems
(2015)
We propose a probabilistic transition system specification format, referred to as probabilistic RBB safe, for which rooted branching bisimulation is a congruence. The congruence theorem is based on the approach of Fokkink ...
A comparison of preschool and elementary school children learning computer science concepts through a multilanguage robot programming platform
(2015)
This paper describes a school intervention to teach fundamental Computer Science (CS) concepts to 3-11 year old students with a multilanguage robot programming platform (using drag and drop, Python and C++ languages) in ...
Reversing uncertainty sampling to improve active learning schemes
(2015)
Active learning provides promising methods to optimize the cost of manually annotating a dataset. However, practitioners in many areas do not massively resort to such methods because they present technical difficulties and ...
Sustainable chemotherapy schedules
(2015)
We used a discrete time version of viabilitytheory in order to study the sustainable therapies againstthe cancer. We assume that the tumor is composed of twosubpopulations, one resistant and the another sensitive. Weconsider ...
Combining semi-supervised and active learning to recognize minority senses in a new corpus
(2015)
In this paper we study the impact of combining active learning with bootstrapping to grow a small annotated corpus from a different, unannotated corpus. The intuition underlying our approach is that bootstrapping includes ...