Sciweavers

8729 search results - page 242 / 1746
» Design Of Experiments: Overview
Sort
View
VLSISP
2002
72views more  VLSISP 2002»
15 years 6 months ago
Second Order Nonstationary Source Separation
This paper addresses a method of blind source separation that jointly exploits the nonstationarity and temporal structure of sources. The method needs only multiple time-delayed co...
Seungjin Choi, Andrzej Cichocki, Adel Belouchrani
ANTSW
2010
Springer
15 years 4 months ago
Cooperation in a Heterogeneous Robot Swarm through Spatially Targeted Communication
Abstract. We consider a heterogeneous swarm robotic system composed of wheeled and aerial robots called foot-bots and eye-bots, respectively. The foot-bots are able to physically c...
Nithin Mathews, Anders Lyhne Christensen, Rehan O'...
IAT
2010
IEEE
15 years 4 months ago
An Interactive Tool for Constrained Clustering with Human Sampling
Abstract--This paper describes an interactive tool for constrained clustering that helps users to select effective constraints efficiently during the constrained clustering process...
Masayuki Okabe, Seiji Yamada
NETWORK
2010
92views more  NETWORK 2010»
15 years 1 months ago
On the use of RTP for monitoring and fault isolation in IPTV
Since the first operational IPTV networks have been deployed, service providers and operators have struggled to make their subscribers happy and satisfied with their services. To ...
Ali C. Begen, Colin Perkins, Jörg Ott
FROCOS
2011
Springer
14 years 6 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...