Sciweavers

1006 search results - page 182 / 202
» Clustering of Software Systems Using New Hybrid Algorithms
Sort
View
ATAL
2010
Springer
15 years 4 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»
15 years 2 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
15 years 10 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»
15 years 9 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»
14 years 9 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&...