Sciweavers

3229 search results - page 225 / 646
» Mixing
Sort
View
FDL
2007
IEEE
15 years 9 months ago
Transactor-based Formal Verification of Real-time Embedded Systems
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
Daniel Karlsson, Petru Eles, Zebo Peng
GLOBECOM
2009
IEEE
15 years 9 months ago
Distributed Averaging in Dense Wireless Networks
We consider the effect of network throughput on the convergence of a specific class of distributed averaging algorithms, called consensus algorithms. These algorithms rely on itera...
Sundaram Vanka, Martin Haenggi, Vijay Gupta
154
Voted
ATAL
2006
Springer
15 years 9 months ago
Designing a successful trading agent for supply chain management
This paper describes the design and evaluation of SouthamptonSCM, the runner-up in the 2005 International Trading Agent Supply Chain Management Competition (TAC SCM). In particula...
Minghua He, Alex Rogers, Xudong Luo, Nicholas R. J...
AAAI
2008
15 years 7 months ago
Intelligence in Wikipedia
The Intelligence in Wikipedia project at the University of Washington is combining self-supervised information extraction (IE) techniques with a mixed initiative interface designe...
Daniel S. Weld, Fei Wu 0003, Eytan Adar, Saleema A...
ICA
2007
Springer
15 years 7 months ago
Gradient Convolution Kernel Compensation Applied to Surface Electromyograms
Abstract. This paper introduces gradient based method for robust assessment of the sparse pulse sources, such as motor unit innervation pulse trains in the filed of electromyograp...
Ales Holobar, Damjan Zazula