Sciweavers

4209 search results - page 680 / 842
» Abstract Dialectical Frameworks
Sort
View
159
Voted
FUZZIEEE
2007
IEEE
15 years 7 months ago
Evolving Single- and Multi-Model Fuzzy Classifiers with FLEXFIS-Class
Abstract-- In this paper a new method for training singlemodel and multi-model fuzzy classifiers incrementally and adaptively is proposed, which is called FLEXFIS-Class. The evolvi...
Edwin Lughofer, Plamen P. Angelov, Xiaowei Zhou
159
Voted
ER
2009
Springer
316views Database» more  ER 2009»
15 years 7 months ago
XMI2USE: A Tool for Transforming XMI to USE Specifications
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....
118
Voted
FASE
2009
Springer
15 years 7 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
123
Voted
FIMH
2009
Springer
15 years 7 months ago
Atrioventricular Blood Flow Simulation Based on Patient-Specific Data
Abstract. We propose a new framework for simulating blood flow inside the heart, usable with geometric models of the heart from patientspecific data. The method is geared toward re...
Viorel Mihalef, Dimitris N. Metaxas, Mark Sussman,...
111
Voted
ICC
2007
IEEE
15 years 7 months ago
Interference Handling in UWB Versus 802.11n Networks
Abstract-- UWB and 802.11n have both been touted as technologies for next generation wireless networks. UWB exploiting a large bandwidth, and 802.11n utilizing MIMO, demonstrate hi...
Arjunan Rajeswaran, Gyouhwan Kim, Rohit Negi, Sai ...