3692 search results - page 529 / 739 » Active learning and its use in computer science |
180
click to vote
VL
2005
IEEE
16 years 24 days ago
2005
IEEE
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
157
click to vote
ICALP
2005
Springer
16 years 23 days ago
2005
Springer
We consider the problem of testing the commutativity of a black-box group specified by its k generators. The complexity (in terms of k) of this problem was first considered by Pa...
198
click to vote
LICS
2003
IEEE
16 years 15 days ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
182
click to vote
ERSHOV
2003
Springer
16 years 13 days ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
206
click to vote
IDEAS
2002
IEEE
16 years 5 days ago
2002
IEEE
Boolean expression simplification is a well-known problem in the history of Computer Science. The problem of determining prime implicates from an arbitrary Boolean expression has...