3191 search results - page 274 / 639 » Qualitative Modeling in Education |
178
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
152
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
A new framework of compressive sensing (CS), namely statistical compressive sensing (SCS), that aims at efficiently sampling a collection of signals that follow a statistical dist...
181
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents an analysis and system-level design of a capacitive harvester of vibration energy composed from a mechanical resonator, capacitive transducer and a conditioning...
194
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We analyze the structure and evolution of discussion cascades in four popular websites: Slashdot, Barrapunto, Meneame and Wikipedia. Despite the big heterogeneities between these ...
184
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Hidden Markov Models (HMMs) are one of the most fundamental and widely used statistical tools for modeling discrete time series. In general, learning HMMs from data is computation...