3692 search results - page 529 / 739 » Active learning and its use in computer science |
161
click to vote
VL
2005
IEEE
16 years 6 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...
146
Voted
ICALP
2005
Springer
16 years 4 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...
165
click to vote
LICS
2003
IEEE
15 years 12 months 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...
166
click to vote
ERSHOV
2003
Springer
15 years 12 months 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...
187
click to vote
IDEAS
2002
IEEE
15 years 11 months 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...