Sciweavers

2412 search results - page 282 / 483
» Which Problems Have Strongly Exponential Complexity
Sort
View
119
Voted
SIGCSE
1998
ACM
131views Education» more  SIGCSE 1998»
15 years 7 months ago
Animation, visualization, and interaction in CS 1 assignments
Programs that use animations or visualizations attract student interest and offer feedback that can enhance different learning styles as students work to master programming and pr...
Owen L. Astrachan, Susan H. Rodger
132
Voted
CAV
2006
Springer
128views Hardware» more  CAV 2006»
15 years 7 months ago
Safraless Compositional Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
134
Voted
ATAL
2003
Springer
15 years 7 months ago
An exploration of bugs and debugging in multi-agent systems
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
David Poutakidis, Lin Padgham, Michael Winikoff
114
Voted
ESANN
2006
15 years 5 months ago
Non-linear gating network for the large scale classification model CombNET-II
The linear gating classifier (stem network) of the large scale model CombNET-II has been always the limiting factor which restricts the number of the expert classifiers (branch net...
Mauricio Kugler, Toshiyuki Miyatani, Susumu Kuroya...
126
Voted
IJCAI
2001
15 years 5 months ago
Adaptive Control of Acyclic Progressive Processing Task Structures
The progressive processing model allows a system to trade off resource consumption against the quality of the outcome by mapping each activity to a graph of potential solution met...
Stéphane Cardon, Abdel-Illah Mouaddib, Shlo...