Sciweavers

2136 search results - page 146 / 428
» Learning Behavior Models for Hybrid Timed Systems
Sort
View
101
Voted
FORMATS
2009
Springer
15 years 7 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele
102
Voted
PTS
2007
81views Hardware» more  PTS 2007»
15 years 2 months ago
An EFSM-Based Passive Fault Detection Approach
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and...
Hasan Ural, Zhi Xu
134
Voted
EDM
2011
197views Data Mining» more  EDM 2011»
14 years 18 days ago
Towards Improvements on Domain-independent Measurements for Collaborative Assessment
Assessment on collaborative student behavior is a longstanding issue in user modeling. Nowadays thanks to the proliferation of online learning and the vast amount of data on studen...
Antonio R. Anaya, Jesus Boticario
108
Voted
AUSAI
2007
Springer
15 years 4 months ago
Elements of a Learning Interface for Genre Qualified Search
Even prior to content, the genre of a web document leads to a first coarse binary classification of the recall space in relevant and non-relevant documents. Thinking of a genre se...
Andrea Stubbe, Christoph Ringlstetter, Randy Goebe...
107
Voted
RSP
2005
IEEE
131views Control Systems» more  RSP 2005»
15 years 6 months ago
Models for Embedded Application Mapping onto NoCs: Timing Analysis
Networks-on-chip (NoCs) are an emergent communication infrastructure, which can be designed to deal with growing system complexity and technology evolution. The efficient use of N...
César A. M. Marcon, Márcio Eduardo K...