467 search results - page 13 / 94 » I O-automata Based Testing |
JLP
2008
14 years 10 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
KCAP
2005
ACM
15 years 3 months ago
2005
ACM
Effective reuse of Knowledge Bases (KBs) often entails the expensive task of identifying plausible KB-PS (Problem Solver) combinations. We propose a novel technique based on Const...
CBMS
2007
IEEE
15 years 4 months ago
2007
IEEE
Multiplex Fluorescent In Situ Hybridization (M-FISH) is a newly chromosome imaging technique where each chromosome class appears to have a distinct color. This technique although ...
ICES
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose a tuning method for MEMS gyroscopes based on evolutionary computation to efficiently increase the sensitivity of MEMS gyroscopes through tuning. The tuning met...
ICALT
2006
IEEE
15 years 4 months ago
2006
IEEE
Can learning styles (LS) be applied in current webbased systems? What are the main issues when applying LS in web-based systems? Can LS be authored in current web-based systems? W...