Sciweavers

280 search results - page 28 / 56
» Testing for two components in a switching regression model
Sort
View
SAC
2010
ACM
16 years 20 days ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev
MUC
1992
15 years 10 months ago
GE-CMU: description of the TIPSTER/SHOGUN system as used for MUC-4
The GE-CMU team is developing the TIPSTER/SHOGUN system under the governmentsponsored TIPSTER program, which aims to advance coverage, accuracy, and portability in tex t interpret...
Paul S. Jacobs, George B. Krupka, Lisa F. Rau, Tod...
ENTCS
2006
97views more  ENTCS 2006»
15 years 5 months ago
VyrdMC: Driving Runtime Refinement Checking with Model Checkers
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
Tayfun Elmas, Serdar Tasiran
QRE
2010
129views more  QRE 2010»
15 years 4 months ago
Improving quality of prediction in highly dynamic environments using approximate dynamic programming
In many applications, decision making under uncertainty often involves two steps- prediction of a certain quality parameter or indicator of the system under study and the subseque...
Rajesh Ganesan, Poornima Balakrishna, Lance Sherry
ICRA
2006
IEEE
136views Robotics» more  ICRA 2006»
15 years 12 months ago
Adaptive Torque Control of Electro-rheological Fluid Brakes used in Active Knee Rehabilitation Devices
- This paper describes the development of an Adaptive Non-linear PI Torque Control for electro-rheological fluid (ERF) based variable resistance brakes that are used in compact and...
Jason Nikitczuk, Abhimanyu Das, Harsh Vyas, Brian ...