Proofing Tools Technology at Neurosoft S.A.
Ch. Tsalidis, G. Orphanos, A. Iordanidou et al. · 2004
Abstract onlyNot checked
Computer Science
Filters2 filters applied
Topic
Status
- Corrected
- No notice
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
14,390 papersQuestions on this topic
Performance Analysis of Multicast Mobility in a Hierarchical Mobile IP Proxy Environment
Thomas C. Schmidt, Matthias Wählisch · Selected Papers from TERENA Networking Conference Rhodes, 2004, http://www.terena.nl/library/tnc2004-proceedings/papers/schmidt.pdf · 2004
Abstract onlyNot checked
Secure Transmission of Sensitive data using multiple channels
Ahmed A. Belal, Abdelhamid S. Abdelhamid · 2004
Abstract onlyNot checked
Nested Intervals Tree Encoding with Continued Fractions
Vadim Tropashko · 2004
Abstract onlyNot checked
Inside-Outside Estimation Meets Dynamic EM
Detlef Prescher · Proceedings of IWPT 2001 · 2004
Abstract onlyNot checked
Prediction with Expert Advice by Following the Perturbed Leader for General Weights
Marcus Hutter, Jan Poland · Proc. 15th International Conf. on Algorithmic Learning Theory (ALT-2004), pages 279-293 · 2004
Abstract onlyNot checked
Parallel Mixed Bayesian Optimization Algorithm: A Scaleup Analysis
Jiri Ocenasek, Martin Pelikan · 2004
Abstract onlyNot checked
A Bimachine Compiler for Ranked Tagging Rules
Wojciech Skut, Stefan Ulrich, Kathrine Hammervold · 2004
Abstract onlyNot checked
Transformation Rules for Locally Stratified Constraint Logic Programs
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti · 2004
Abstract onlyNot checked
Modeling Chaotic Behavior of Stock Indices Using Intelligent Paradigms
Ajith Abraham, Ninan Sajith Philip, P. Saratchandran · International Journal of Neural, Parallel & Scientific Computations, USA, Volume 11, Issue (1&2), pp. 143-160, 2003 · 2004
Abstract onlyNot checked
Developing Intellectual Network Management Facilities by Means of Pattern Recognition Theory
Yuriy A. Chashkov · 2004
Abstract onlyNot checked
Learning Hybrid Algorithms for Vehicle Routing Problems
Yves Caseau, Glenn Silverstein, Francois Laburthe · Theory and Practice of Logic Programming, vol. 1, no. 6, 2001 · 2004
Abstract onlyNot checked
Robust Dialogue Understanding in HERALD
Vincenzo Pallotta, Afzal Ballim · Proceedings of RANLP 2001 - EuroConference on Recent Advances in Natural Language Processing, September 5-7, 2001, Tzigov-Chark, Bulgaria · 2004
Abstract onlyNot checked
Data Path Processing in Fast Programmable Routers
Pradipta De · 2004
Abstract onlyNot checked
Verification of Process Rewrite Systems in normal form
Laura Bozzelli · 2004
Abstract onlyNot checked
Forbidden Subgraphs in Connected Graphs
Vlady Ravelomanana, Loys Thimonier · 2004
Abstract onlyNot checked
Tabular Parsing
Mark-Jan Nederhof, Giorgio Satta · M.-J. Nederhof and G. Satta. Tabular Parsing. In C. Martin-Vide, V. Mitrana, and G. Paun, editors, Formal Languages and Applications, Studies in Fuzziness and Soft Computing 148, pages 529-549. Springer, 2004 · 2004
Abstract onlyNot checked
Formal Test Purposes and The Validity of Test Cases
Peter H. Deussen, Stephan Tobies · 2004
Abstract onlyNot checked
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
Patricia M. Hill, Enea Zaffanella, Roberto Bagnara · 2004
Abstract onlyNot checked
Generalized Evolutionary Algorithm based on Tsallis Statistics
Ambedkar Dukkipati, M. Narasimha Murty, Shalabh Bhatnagar · 2004
Abstract onlyNot checked