473 search results - page 43 / 95 » Computing excluded minors |
97
Voted
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
89
Voted
ICA
2007
Springer
15 years 6 months ago
2007
Springer
Blind source extraction (BSE) is of advantages over blind source separation (BSS) when obtaining some underlying source signals from high dimensional observed signals. Among a vari...
102
click to vote
IFIP
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we present a novel mechanism for the multicast congestion control over UMTS networks. The proposed mechanism is based on the well known TCP-Friendly Multicast Conges...
107
click to vote
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— Outliers refer to “minority” data that are different from most other data. They usually disturb data mining process. But, sometimes they provide valuable information. Thus,...
ISWC
2005
IEEE
15 years 6 months ago
2005
IEEE
Children with autism often exhibit self-stimulatory (or “stimming”) behaviors. We present an on-body sensing system for continuous recognition of stimming activity. By creatin...