7886 search results - page 219 / 1578 » An evaluation of bipartitioning techniques |
210
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
This paper presents an approach and a toolset for exploiting the benefits of conceptual modeling in the quality evaluation tasks that take place both before the deployment and dur...
180
click to vote
ISMVL
2009
IEEE
16 years 1 months ago
2009
IEEE
For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today’s state-of-the-art SMT solvers use different techniques like ter...
211
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...
180
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Reliable transmission is a challenging task over wireless links because wireless channels are susceptible to noise and interference. To address this problem various error contr...
190
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we address the application of single sensor source separation techniques to mixtures of speech and music. Three strategies for source modeling are presented, namely ...