3758 search results - page 390 / 752 » A Complete Subsumption Algorithm |
177
click to vote
ITICSE
2010
ACM
15 years 10 months ago
2010
ACM
Introductory computer science classes are known for having a high attrition rate. Some authors believe this is due to students’ difficulties in establishing a mental model of co...
232
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
154
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: In the future, we propose that there will be largely self-sufficient robot colonies operating on distant planets and in harsh environments here on earth. A highly desirable quali...
165
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Abstract A new method for power estimation in sequential circuits is presented that is based on a statistical estimation technique. By applying randomly generated input sequences t...
180
click to vote
WSC
2008
15 years 9 months ago
2008
Modeling and simulation frameworks for use in different application domains, throughout the complete development process, and in different hardware environments need to be highly ...