Sciweavers

3690 search results - page 543 / 738
» Computation with classical sequents
Sort
View
SIGCOMM
2009
ACM
15 years 12 months ago
Crossbow: from hardware virtualized NICs to virtualized networks
This paper describes a new architecture for achieving network virtualization using virtual NICs (VNICs) as the building blocks. The VNICs can be associated with dedicated and inde...
Sunay Tripathi, Nicolas Droux, Thirumalai Srinivas...
UIST
2009
ACM
15 years 12 months ago
User guided audio selection from complex sound mixtures
In this paper we present a novel interface for selecting sounds in audio mixtures. Traditional interfaces in audio editors provide a graphical representation of sounds which is ei...
Paris Smaragdis
CEC
2008
IEEE
15 years 12 months ago
Improved Particle Swarm Optimization with low-discrepancy sequences
— Quasirandom or low discrepancy sequences, such as the Van der Corput, Sobol, Faure, Halton (named after their inventors) etc. are less random than a pseudorandom number sequenc...
Millie Pant, Radha Thangaraj, Crina Grosan, Ajith ...
CEC
2008
IEEE
15 years 12 months ago
Reduced polynomial neural swarm net for classification task in data mining
—In this paper, we proposed a reduced polynomial neural swarm net (RPNSN) for the task of classification. Classification task is one of the most studied tasks of data mining. In ...
Bijan Bihari Misra, Satchidananda Dehuri, Pradipta...
COMPSAC
2008
IEEE
15 years 12 months ago
Error Modeling in Dependable Component-Based Systems
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...
Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobr...