Sciweavers

5378 search results - page 924 / 1076
» Base Logics in Argumentation
Sort
View
ATAL
2009
Springer
14 years 4 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
FSKD
2009
Springer
145views Fuzzy Logic» more  FSKD 2009»
14 years 4 months ago
Chinese Web Comments Clustering Analysis with a Two-phase Method
Usually a meaningful web topic has tens of thousands of comments, especially the hot topics. It is valuable if we congregate the comments into clusters and find out the mainstrea...
Yexin Wang, Li Zhao, Yan Zhang
FSKD
2009
Springer
138views Fuzzy Logic» more  FSKD 2009»
14 years 4 months ago
Censoring Biological Echoes in Weather Radar Images
Weather radar data is susceptible to several artifacts due to anamalous propagation, ground clutter, electronic interference, sun angle, second-trip echoes and biological contamin...
Valliappa Lakshmanan, Jian Zhang
FSTTCS
2009
Springer
14 years 4 months ago
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
M. Praveen, Kamal Lodaya
GECCO
2009
Springer
163views Optimization» more  GECCO 2009»
14 years 4 months ago
Dealing with inheritance in OO evolutionary testing
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
Javier Ferrer, J. Francisco Chicano, Enrique Alba