Sciweavers

3379 search results - page 323 / 676
» Powers of Two
Sort
View
ENTCS
2007
108views more  ENTCS 2007»
15 years 4 months ago
Remarks on Testing Probabilistic Processes
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy,...
JUCS
2006
68views more  JUCS 2006»
15 years 4 months ago
Time-varying H Systems Revisited
: We cast a new look on time-varying distributed H systems. In their original definition, where only new strings are passed to the next component, this language definition in itsel...
Remco Loos
NECO
2008
112views more  NECO 2008»
15 years 4 months ago
Second-Order SMO Improves SVM Online and Active Learning
Iterative learning algorithms that approximate the solution of support vector machines (SVMs) have two potential advantages. First, they allow for online and active learning. Seco...
Tobias Glasmachers, Christian Igel
IJAHUC
2007
99views more  IJAHUC 2007»
15 years 4 months ago
Simulation study of some PRMA-based protocols with channel reservation for data traffic
: Medium Access Control (MAC) and resource allocation are two challenging issues in mobile network. Packet reservation multiple access (PRMA) is considered as a promising MAC proto...
Xue Jun Li, Peter Han Joo Chong
132
Voted
PRL
2006
106views more  PRL 2006»
15 years 4 months ago
Urban monitoring using multi-temporal SAR and multi-spectral data
In some key operational domains, the joint use of synthetic aperture radar (SAR) and multi-spectral sensors has shown to be a powerful tool for Earth observation. In this paper, w...
Luis Gómez-Chova, Diego Fernández-Pr...