Sciweavers

1006 search results - page 182 / 202
» Clustering of Software Systems Using New Hybrid Algorithms
Sort
View
ATAL
2010
Springer
13 years 10 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
BMCBI
2006
374views more  BMCBI 2006»
13 years 8 months ago
AMDA: an R package for the automated microarray data analysis
Background: Microarrays are routinely used to assess mRNA transcript levels on a genome-wide scale. Large amount of microarray datasets are now available in several databases, and...
Mattia Pelizzola, Norman Pavelka, Maria Foti, Paol...
EUROGRAPHICS
2010
Eurographics
14 years 3 months ago
Interactive High-Quality Visualization of Higher-Order Finite Elements
Higher-order finite element methods have emerged as an important discretization scheme for simulation. They are increasingly used in contemporary numerical solvers, generating a ...
Markus Üffinger, Steffen Frey, Thomas Ertl
IROS
2009
IEEE
142views Robotics» more  IROS 2009»
14 years 3 months ago
Haptic feedback for molecular simulation
— In this paper, a new tool dedicated to the analysis and the conception of molecules is presented. It is composed of an adaptive simulation software and a haptic device used to ...
Aude Bolopion, Barthelemy Cagneau, Stephane Redon,...
TASLP
2010
101views more  TASLP 2010»
13 years 3 months ago
Gaussian Model-Based Multichannel Speech Presence Probability
The knowledge of the target speech presence probability in a mixture of signals captured by a speech communication system is of paramount importance in several applications includi...
Mehrez Souden, Jingdong Chen, Jacob Benesty, Sofi&...