Sciweavers

4815 search results - page 505 / 963
» A Pattern Approach to Modeling the Provider Selection Proble...
Sort
View
CAISE
2006
Springer
15 years 10 months ago
From Requirements Models to Formal Specifications in B
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
Christophe Ponsard, Emmanuel Dieul
ICANN
2005
Springer
16 years 11 days ago
Varying the Population Size of Artificial Foraging Swarms on Time Varying Landscapes
Abstract. Swarm Intelligence (SI) is the property of a system whereby the collective behaviors of (unsophisticated) entities interacting locally with their environment cause cohere...
Carlos Fernandes, Vitorino Ramos, Agostinho C. Ros...
CVPR
2011
IEEE
14 years 10 months ago
Generalized Group Sparse Classifiers with Application in fMRI Brain Decoding
The perplexing effects of noise and high feature dimensionality greatly complicate functional magnetic resonance imaging (fMRI) classification. In this paper, we present a novel f...
Bernard Ng, Rafeef Abugharbieh
VIS
2009
IEEE
399views Visualization» more  VIS 2009»
16 years 8 months ago
Visual Human+Machine Learning
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
Raphael Fuchs, Jürgen Waser, Meister Eduard GrÃ...
SIGCOMM
1999
ACM
15 years 11 months ago
Load-Sensitive Routing of Long-Lived IP Flows
Internet service providers face a daunting challenge in provisioning network resources, due to the rapid growth of the Internet and wide fluctuations in the underlying traffic pa...
Anees Shaikh, Jennifer Rexford, Kang G. Shin