Sciweavers

2191 search results - page 342 / 439
» Aspect - A Problem For MT
Sort
View
136
Voted
AICOM
2005
91views more  AICOM 2005»
15 years 3 months ago
Multiagent systems for cardiac pacing simulation and control
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
Francesco Amigoni, Alessandro Beda, Nicola Gatti
126
Voted
TASLP
2008
102views more  TASLP 2008»
15 years 3 months ago
Acoustic Source Separation of Convolutive Mixtures Based on Intensity Vector Statistics
Various techniques have previously been proposed for the separation of convolutive mixtures. These techniques can be classified as stochastic, adaptive, and deterministic. Stochast...
Banu Gunel, Hüseyin Hacihabiboglu, Ahmet M. K...
142
Voted
INFORMATICALT
2007
127views more  INFORMATICALT 2007»
15 years 3 months ago
Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loo
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
Vytautas Cyras
106
Voted
TKDE
2008
108views more  TKDE 2008»
15 years 3 months ago
Grid Service Discovery with Rough Sets
The computational grid is rapidly evolving into a service-oriented computing infrastructure that facilitates resource sharing and large-scale problem solving over the Internet. Ser...
Maozhen Li, Bin Yu, Omer F. Rana, Zidong Wang
132
Voted
CCR
2004
151views more  CCR 2004»
15 years 3 months ago
Practical verification techniques for wide-area routing
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
Nick Feamster