Sciweavers

7103 search results - page 427 / 1421
» Program Generation and Components
Sort
View
FECS
2007
73views Education» more  FECS 2007»
15 years 5 months ago
Assessment and its Role in Accreditation
In this paper, we describe assessment processes at three computer science programs accredited by the Computing Accreditation Commission (CAC) of ABET. Assessment is a vital compon...
Frances K. Bailie, Deborah Whitfield, Adel M. Abun...
WSC
1997
15 years 5 months ago
Simulation and Control of Reactive Systems
We introduce SIDE (the acronym stands for Sensors In a Distributed Environment)—a software package for developing control programs for reactive systems. One distinctive feature ...
Pawel Gburzynski, Jacek Maitan
IJACTAICIT
2010
127views more  IJACTAICIT 2010»
15 years 1 months ago
New Proposed Algorithms for nth Order Butterworth Active Filter Computer-Aided Design
This paper describes new proposed algorithms for constructing the transfer function of nth order Butterworth LPF using the idea of the cascade combination of active filters. Compu...
Haider Fakher Radhi Al-Saidy
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
15 years 11 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...
139
Voted
ICTAI
2007
IEEE
15 years 10 months ago
ExOpaque: A Framework to Explain Opaque Machine Learning Models Using Inductive Logic Programming
In this paper we developed an Inductive Logic Programming (ILP) based framework ExOpaque that is able to extract a set of Horn clauses from an arbitrary opaque machine learning mo...
Yunsong Guo, Bart Selman