9067 search results - page 684 / 1814 » Adaptive Model Checking |
168
click to vote
DAC
2001
ACM
16 years 8 months ago
2001
ACM
Due to larger buses (length, width) and deep sub-micron effects where coupling capacitances between bus lines are in the same order of magnitude as base capacitances, power consum...
174
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper, we propose a novel semi-supervised speaker identification method that can alleviate the influence of nonstationarity such as session dependent variation, the reco...
154
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a grammar-induction based approach to partitioning a Web page into several small pages while each small page fits not only spatially but also logically for mob...
215
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Ambient Intelligence scenarios can be deployed even when the environment lacks of a underlying network infrastructure. This can be done using distributed ad-hoc networks. Ambient ...
154
click to vote
IDEAL
2007
Springer
16 years 1 months ago
2007
Springer
This work presents a research on the performance capabilities of an extension of the ViSOM (Visualization Induced SOM) algorithm by the use of the ensemble meta-algorithm and a lat...