Sciweavers

2687 search results - page 481 / 538
» Formal Analysis of PKCS
Sort
View
CORR
2006
Springer
81views Education» more  CORR 2006»
15 years 6 months ago
The emergence of knowledge exchange: an agent-based model of a software market
Abstract--We investigate knowledge exchange among commercial organizations, the rationale behind it, and its effects on the market. Knowledge exchange is known to be beneficial for...
Maria Chli, Philippe De Wilde
DATAMINE
2006
131views more  DATAMINE 2006»
15 years 6 months ago
A systematic approach to the assessment of fuzzy association rules
In order to allow for the analysis of data sets including numerical attributes, several generalizations of association rule mining based on fuzzy sets have been proposed in the li...
Didier Dubois, Eyke Hüllermeier, Henri Prade
ENTCS
2006
160views more  ENTCS 2006»
15 years 6 months ago
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
Feng Chen, Marcelo d'Amorim, Grigore Rosu
IJON
2008
158views more  IJON 2008»
15 years 6 months ago
An adaptive stereo basis method for convolutive blind audio source separation
We consider the problem of convolutive blind source separation of stereo mixtures. This is often tackled using frequency-domain independent component analysis (FDICA), or time-fre...
Maria G. Jafari, Emmanuel Vincent, Samer A. Abdall...
IJRR
2008
100views more  IJRR 2008»
15 years 6 months ago
Comparing the Power of Robots
Robots must complete their tasks in spite of unreliable actuators and limited, noisy sensing. In this paper, we consider the information requirements of such tasks. What sensing a...
Jason M. O'Kane, Steven M. LaValle