Increasing the classification accuracy of simple Bayesian classifierKOTSIANTIS, S. B; PINTELAS, P. E.Lecture notes in computer science. 2004, pp 198-207, issn 0302-9743, isbn 3-540-22959-0, 10 p.Conference Paper

Evaluating argumentation semantics with respect to skepticism adequacyBARONI, Pietro; GIACOMIN, Massimiliano.Lecture notes in computer science. 2005, pp 329-340, issn 0302-9743, isbn 3-540-27326-3, 12 p.Conference Paper

Symbolic determinisation of extended automata = Déterminisation symbolique d'automates étendusJéron, Thierry; Marchand, Hervé; Rusu, Vlad et al.Publication interne - IRISA. 2005, issn 1166-8687, 1Vol, 24 p.Report

CGRED : Class guided random early discardingYUCHUN GUO; YONGXIANG ZHAO; GUANGNONG SONG et al.IEEE International Performance, Computing, and Communications Conference. 2004, pp 179-185, isbn 0-7803-8396-6, 1Vol, 7 p.Conference Paper

Closure properties of weak systems of bounded arithmeticKOLOKOLOVA, Antonina.Lecture notes in computer science. 2005, pp 369-383, issn 0302-9743, isbn 3-540-28231-9, 15 p.Conference Paper

Model checking of systems employing commutative functionsPRASAD SISTLA, A; MIN ZHOU; XIAODONG WANG et al.Lecture notes in computer science. 2005, pp 250-266, issn 0302-9743, isbn 3-540-24297-X, 17 p.Conference Paper

Minimum Complexity Echo State NetworkRODAN, Ali; TINO, Peter.IEEE transactions on neural networks. 2011, Vol 22, Num 1, pp 131-144, issn 1045-9227, 14 p.Article

Improving state class constructions for CTL* model checking of time Petri netsHADJIDJ, Rachid; BOUCHENEB, Hanifa.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 2, pp 167-184, issn 1433-2779, 18 p.Article

States Class Forming Optimization Task for Estimating of QoSJANKUNIENE, Ruta.Information technology interfaces. 2007, pp 621-626, isbn 978-953-7138-09-7, 1Vol, 6 p.Conference Paper

Efficient CSP_Z data abstractionFARIAS, Adalberto; MOTA, Alexandre; SAMPAIO, Augusto et al.Lecture notes in computer science. 2004, pp 108-127, issn 0302-9743, isbn 3-540-21377-5, 20 p.Conference Paper

Lmi based neurocontroller for guaranteed cost control of discrete-time uncertain systemMUKAIDANI, Hiroaki; ISHII, Yasuhisa; TANAKA, Yoshiyuki et al.IEEE Conference on Decision and Control. 2004, isbn 0-7803-8682-5, Vol 1, 809-814Conference Paper

Extremum seeking control of nonlinear systems with parametric uncertainties and state constraintsDEHAAN, Darryl; GUAY, Martin.American Control Conference. 2004, pp 596-601, isbn 0-7803-8335-4, 6 p.Conference Paper

Sliding controller for output feedback of a class of state dependent nonlinear systemsLIN JWO MIN.American Control Conference. 2004, pp 644-649, isbn 0-7803-8335-4, 6 p.Conference Paper

Mixed H_∞ and passivity based state estimation for fuzzy neural networks with Markovian-type estimator gain changeDAN ZHANG; WENJIAN CAI; WANG, Qing-Guo et al.Neurocomputing (Amsterdam). 2014, Vol 139, pp 321-327, issn 0925-2312, 7 p.Article

Asymptotic stabilisation for a class of feedforward input-delay systems with ratios of odd integersJIAN WU; WEISHENG CHEN; QIGUANG MIAO et al.International journal of systems science. 2013, Vol 44, Num 10-12, pp 1983-1993, issn 0020-7721, 11 p.Article

Distributed State Estimation in Sensor Networks with Randomly Occurring Nonlinearities Subject to Time DelaysJINLING LIANG; ZIDONG WANG; BO SHEN et al.ACM transactions on sensor networks. 2013, Vol 9, Num 1, issn 1550-4859, 4.1-4.18Article

PARSSSE: AN ADAPTIVE PARALLEL STATE SPACE SEARCH ENGINEYANHUA SUN; GENGBIN ZHENG; JETLEY, Pritish et al.Parallel processing letters. 2011, Vol 21, Num 3, pp 319-338, issn 0129-6264, 20 p.Article

UML-based modelling for information system of assembly linesYONGFA QIN; ZHIGANG XU.International journal of modelling, identification and control (Print). 2010, Vol 9, Num 1-2, pp 90-97, issn 1746-6172, 8 p.Article

Severe congestion handling approaches in NSIS RMD domains with bi-directional reservationsDIMITROVA, Desislava; KARAGIANNIS, Georgios; DE BOER, Pieter-Tjerk et al.Computer communications. 2008, Vol 31, Num 14, pp 3153-3162, issn 0140-3664, 10 p.Article

3-D graphical hypermedia meets interactive E-books : A new paradigm for experiential learningMAZUR, Joan; RUIGANG YANG; MINGXUAN SUN et al.Lecture notes in computer science. 2006, pp 233-242, issn 0302-9743, isbn 3-540-33423-8, 1Vol, 10 p.Conference Paper

Reliable Robust Controller Design for Nonlinear State-Delayed Systems Based on Neural NetworksYANJUN SHEN; HUI YU; JIGUI JIAN et al.Lecture notes in computer science. 2006, pp 674-683, issn 0302-9743, isbn 3-540-46479-4, 3Vol, 10 p.Conference Paper

Performance evaluation of consistent recovery protocols using MPICH-GFWOO, Namyoon; JUNG, Hyungsoo; SHIN, Dongin et al.Lecture notes in computer science. 2005, pp 167-178, issn 0302-9743, isbn 3-540-25723-3, 12 p.Conference Paper

Unfold/fold transformations for automated verification of parameterized concurrent systemsROYCHOUDHURY, Abhik; RAMAKRISHNAN, C. R.Program development in computational logic : a decade of research advances in logic-based program development. Lecture notes in computer science. 2004, pp 261-290, issn 0302-9743, isbn 3-540-22152-2, 30 p.Book Chapter

State observation for systems with linear state dynamics and polynomial outputDI MARTINO, Domenico; GERMANI, Alfredo; MANES, Costanzo et al.IEEE Conference on Decision and Control. 2004, isbn 0-7803-8682-5, Vol 4, 3886-3891Conference Paper

Avoiding state explosion in a class of Petri netsSALUM, Latif.Expert systems with applications. 2015, Vol 42, Num 1, pp 519-526, issn 0957-4174, 8 p.Article