top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers / Bernhard Beckert [and others] (eds.).
Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers / Bernhard Beckert [and others] (eds.).
Creatore [FMCO 2011 (2011 : Turin, Italy)]
Estensione 1 online resource.
Disciplina 004.01/51
Accesso persona Beckert, Bernhard
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Information Systems Applications (incl. Internet)
ISBN 9783642358876
364235887X
9783642358869
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The ASCENS Project -- ASCENS: Engineering Autonomic Service-Component Ensembles / Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli -- A Language-Based Approach to Autonomic Computing / Rocco De Nicola, Gianluigi Ferrari, Michele Loreti, Rosario Pugliese -- A Survey on Basic Connectors and Buffers / Roberto Bruni, Hernán Melgratti, Ugo Montanari -- The EternalS Coordination Action -- Synthesis-Based Variability Control: Correctness by Construction / Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen -- Modeling Application-Level Management of Virtualized Resources in ABS / Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa -- HATS Abstract Behavioral Specification: The Architectural View / Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt.
Automatic Service Categorisation through Machine Learning in Emergent Middleware / Amel Bennaceur, Valérie Issarny, Richard Johansson, Alessandro Moschitti -- Towards a Model- and Learning-Based Framework for Security Anomaly Detection / Matthias Gander, Basel Katt, Michael Felderer, Ruth Breu -- Enhancing Model Driven Security through Pattern Refinement Techniques / Basel Katt, Matthias Gander, Ruth Breu, Michael Felderer -- Project Zeppelin: A Modern Web Application Development Framework / Leigh Griffin, Peter Elger, Eamonn de Leastar -- The ParaPhrase Project -- Managing Adaptivity in Parallel Systems / Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini -- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems / Kevin Hammond, Marco Aldinucci, Christopher Brown, Francesco Cesarini, Marco Danelutto.
Paraphrasing: Generating Parallel Programs Using Refactoring / Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick, Holger Schöner -- An Abstract Annotation Model for Skeletons / Marco Aldinucci, Sonia Campa, Peter Kilpatrick, Fabio Tordini, Massimo Torquati -- The PRO3D Project -- PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status / Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza -- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems / Lars Schor, Hoeseok Yang, Iuliana Bacivarov, Lothar Thiele -- Component Assemblies in the Context of Manycore / Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari -- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints / Sylvain Durand, Suzanne Lesecq, Edith Beigné, Christian Fabre, Lionel Vincent.
Record Nr. NYU-004389901
[FMCO 2011 (2011 : Turin, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Handbook of neuroevolution through Erlang / Gene I. Sher
Handbook of neuroevolution through Erlang / Gene I. Sher
Creatore [Sher, Gene I.]
Estensione 1 online resource
Disciplina 570.285
Genere/Forma Handbooks
Electronic books
Handbooks and manuals
Soggetto non controllato Computer science
Software engineering
Artificial intelligence
Bioinformatics
Software Engineering/Programming and Operating Systems
Computational Biology/Bioinformatics
ISBN 9781461444633
1461444632
1461444624
9781461444626
Classificazione 54.10
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. FOUNDATIONS -- Introduction to Neural Networks -- Introduction to Evolutionary Computation -- Introduction to Neuroevolutionary Methods -- The Unintentional Neural Network Programming Language -- Introduction: Applications & Motivations -- Part 2. NEUROEVOLUTION: TAKING THE FIRST STEP -- Developing a Feed Forward Neural Network -- Adding the "Stochastic Hill-Climber" Learning Algorithm -- Developing a Simple Neuroevolutionary Platform -- Testing the Neuroevolutionary System -- Part 3. A Case Study -- DXNN: A Case Study -- Part 4. Advanced Neuroevolution: Creating the Cutting Edge -- Decoupling & Modularizing Our Neuroevolutionary Platform -- Keeping Track of Important Population and Evolutionary Stats -- The Benchmarker -- Creating the Two Slightly More Complex Benchmarks -- Neural Plasticity -- Substrate Encoding -- Substrate Plasticity -- Part 5. Applications -- Artificial Life -- Evolving Currency Trading Agents -- Part 6. Promises Kept -- Conclusion.
Record Nr. NYU-004388749
[Sher, Gene I.]  
Materiale a stampa
Lo trovi qui: New York University
The future of EU agricultural markets by AGMEMOD / Frédéric Chantreuil, Kevin Hanrahan, Myrna van Leeuwen, editors
The future of EU agricultural markets by AGMEMOD / Frédéric Chantreuil, Kevin Hanrahan, Myrna van Leeuwen, editors
Estensione 1 online resource (xv, 128 pages)
Disciplina 338.1094
Accesso persona Chantreuil, Frédéric
Hanrahan, K. F. (Kevin F.)
Leeuwen, Myrna van.
Genere/Forma Electronic books
Soggetto non controllato Economics
Software engineering
Farm economics
Economics/Management Science
Agricultural Economics
Software Engineering/Programming and Operating Systems
ISBN 9789400722910
9400722915
9400722907
9789400722903
128345503X
9781283455039
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto PART I -- Introduction -- 1. Background -- 2. Model Structure and Parameterisation -- 3. AGMEMOD Model -- PART II -- 4. EU Market Outlook -- 5. The CAP Beyond 2013 -- 6. Conclusions and Future Work -- Index.
Record Nr. NYU-004372226
Materiale a stampa
Lo trovi qui: New York University
NASA formal methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / Alwyn E. Goodloe, Suzette Person (eds.).
NASA formal methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / Alwyn E. Goodloe, Suzette Person (eds.).
Creatore [NFM 2012 (2012 : Norfolk, Va.)]
Estensione 1 online resource (xii, 466 pages).
Disciplina 005.13/1
Accesso persona Goodloe, Alwyn E.
Person, Suzette
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Operating systems (Computers)
Logic design
Programming Languages, Compilers, Interpreters
Operating Systems
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Programming Techniques
ISBN 9783642288913
364228891X
9783642288906
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto SMT-Based Model Checking / Cesare Tinelli -- Verified Software Toolchain / Andrew W. Appel -- Formal Verification by Abstract Interpretation / Patrick Cousot -- Quantitative Timed Analysis of Interactive Markov Chains / Dennis Guck, Tingting Han, Joost-Pieter Katoen and Martin R. Neuhäußer -- Lessons Learnt from the Adoption of Formal Model-Based Development / Alessio Ferrari, Alessandro Fantechi and Stefania Gnesi -- Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines / Karolina Zurowska and Juergen Dingel -- Inferring Definite Counterexamples through Under-Approximation / Jörg Brauer and Axel Simon -- Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging / Ross Gore and Paul F. Reynolds -- Rigorous Polynomial Approximation Using Taylor Models in Coq / Nicolas Brisebarre, Mioara Joldeş, Érik Martin-Dorel, Micaela Mayero and Jean-Michel Muller, et al. -- Enhancing the Inverse Method with State Merging / Étienne André, Laurent Fribourg and Romain Soulat -- Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages / Alexander Herz and Kalmer Apinis -- Testing Static Analyzers with Randomly Generated Programs / Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto and John Regehr, et al. -- Compositional Verification of Architectural Models / Darren Cofer, Andrew Gacek, Steven Miller, Michael W. Whalen and Brian LaValley, et al. -- A Safety Case Pattern for Model-Based Development Approach / Anaheed Ayoub, BaekGyu Kim, Insup Lee and Oleg Sokolsky.
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL / Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche and Eric Feron, et al. -- Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements / (Preliminary Results) / Wenbin Li, Jane Huffman Hayes and Mirosław Truszczyński -- Some Steps into Verification of Exact Real Arithmetic / Norbert Th. Müller and Christian Uhrhan -- Runtime Verification Meets Android Security / Andreas Bauer, Jan-Christoph Küster and Gil Vegliach -- Specification in PDL with Recursion / Xinxin Liu and Bingtian Xue -- Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study / Aditi Tagore, Diego Zaccai and Bruce W. Weide -- Sound Formal Verification of Linux's USB BP Keyboard Driver / Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs and Frank Piessens -- Learning Markov Models for Stationary System Behaviors / Yingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen and Kim Guldstrand Larsen, et al. -- The Use of Rippling to Automate Event-B Invariant Preservation Proofs / Yuhui Lin, Alan Bundy and Gudmund Grov -- Thread-Modular Model Checking with Iterative Refinement / Wenrui Meng, Fei He, Bow-Yaw Wang and Qiang Liu -- Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs / Jiři Barnat, Luboš Brim and Petr Ročkai -- Integrating Statechart Components in Polyglot / Daniel Balasubramanian, Corina S. Păsăreanu, Jason Biatek, Thomas Pressburger and Gabor Karsai, et al.
Using PVS to Investigate Incidents through the Lens of Distributed Cognition / Paolo Masci, Huayi Huang, Paul Curzon and Michael D. Harrison -- Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms / Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi and Silvio Ranise -- Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems / Jason Belt, Robby, Patrice Chalin, John Hatcliff and Xianghua Deng -- Generating Verifiable Java Code from Verified PVS Specifications / Leonard Lensink, Sjaak Smetsers and Marko van Eekelen -- Belief Bisimulation for Hidden Markov Models / Logical Characterisation and Decision Algorithm / David N. Jansen, Flemming Nielson and Lijun Zhang -- Abstract Model Repair / George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka and Panagiotis Katsaros -- CLSE: Closed-Loop Symbolic Execution / Rupak Majumdar, Indranil Saha, K.C. Shashidhar and Zilong Wang -- On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols / Michael Backes, Alex Busenius and Cătălin Hrițcu -- Incremental Verification with Mode Variable Invariants in State Machines / Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli and Mike Whalen -- A Semantic Analysis of Wireless Network Security Protocols / Damiano Macedonio and Massimo Merro -- Runtime Verification with Predictive Semantics / Xian Zhang, Martin Leucker and Wei Dong -- A Case Study in Verification of Embedded Network Software / Kalyan C. Regula, Hampton Smith, Heather Harton Keown, Jason O. Hallstrom and Nigamanth Sridhar, et al. -- Checking and Distributing Statistical Model Checking / Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay and Marius Mikučionis, et al.
Record Nr. NYU-004622307
[NFM 2012 (2012 : Norfolk, Va.)]  
Materiale a stampa
Lo trovi qui: New York University
Handbook of neuroevolution through Erlang / Gene I. Sher
Handbook of neuroevolution through Erlang / Gene I. Sher
Creatore [Sher, Gene I.]
Estensione 1 online resource
Disciplina 570.285
Genere/Forma Electronic books
Handbooks and manuals
Handbooks
Soggetto non controllato Computer science
Software engineering
Artificial intelligence
Bioinformatics
Software Engineering/Programming and Operating Systems
Computational Biology/Bioinformatics
ISBN 9781461444633
1461444632
1461444624
9781461444626
Classificazione 54.10
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. FOUNDATIONS -- Introduction to Neural Networks -- Introduction to Evolutionary Computation -- Introduction to Neuroevolutionary Methods -- The Unintentional Neural Network Programming Language -- Introduction: Applications & Motivations -- Part 2. NEUROEVOLUTION: TAKING THE FIRST STEP -- Developing a Feed Forward Neural Network -- Adding the "Stochastic Hill-Climber" Learning Algorithm -- Developing a Simple Neuroevolutionary Platform -- Testing the Neuroevolutionary System -- Part 3. A Case Study -- DXNN: A Case Study -- Part 4. Advanced Neuroevolution: Creating the Cutting Edge -- Decoupling & Modularizing Our Neuroevolutionary Platform -- Keeping Track of Important Population and Evolutionary Stats -- The Benchmarker -- Creating the Two Slightly More Complex Benchmarks -- Neural Plasticity -- Substrate Encoding -- Substrate Plasticity -- Part 5. Applications -- Artificial Life -- Evolving Currency Trading Agents -- Part 6. Promises Kept -- Conclusion.
Record Nr. NYU-004625618
[Sher, Gene I.]  
Materiale a stampa
Lo trovi qui: New York University
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes / by Christian Storm
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes / by Christian Storm
Creatore [Storm, Christian]
Estensione 1 online resource
Disciplina 005.1
Genere/Forma Electronic books
Soggetto non controllato Software Engineering/Programming and Operating Systems
Computer Science
ISBN 9783834823816
3834823813
3834823805
9783834823809
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Distributed Systems -- Fault Tolerance -- Quorum Systems -- Dynamic Data Replication Schemes -- Specification and Evaluation of Dynamic Data Replication Schemes.
Record Nr. NYU-004622730
[Storm, Christian]  
Materiale a stampa
Lo trovi qui: New York University
Knowledge science, engineering and management : 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings / Mingzheng Wang (ed.).
Knowledge science, engineering and management : 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings / Mingzheng Wang (ed.).
Creatore [KSEM (Conference) (6th : 2013 : Dalian Shi, China)]
Estensione 1 online resource (xiv, 604 pages) : illustrations (black and white).
Disciplina 006.3/31
Accesso persona Wang, Mingzheng, editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Software engineering
Data mining
Software Engineering/Programming and Operating Systems
ISBN 9783642397875
3642397875
9783642397868
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Knowledge science -- engineering -- management.
Record Nr. NYU-004658442
[KSEM (Conference) (6th : 2013 : Dalian Shi, China)]  
Materiale a stampa
Lo trovi qui: New York University
Software and network engineering / Roger Lee (ed.).
Software and network engineering / Roger Lee (ed.).
Creatore [ACIS International Symposium on Software and Network Engineering (1st : 2012 : Seoul, Korea)]
Estensione 1 online resource (xii, 146 pages).
Disciplina 005.1
Accesso persona Lee, Roger (Roger Chin Tat)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Engineering
Software engineering
Artificial intelligence
Computational Intelligence
Software Engineering/Programming and Operating Systems
ISBN 9783642286704
3642286704
3642286690
9783642286698
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Obtaining Factors Describing Impression of Questions and Answers and Estimation of Their Scores from Feature Values of Statements / Yuya Yokoyama, Teruhisa Hochin, Hiroki Nomiya and Tetsuji Satoh -- An Integrated Hierarchical Temporal Memory Network for Continuous Multi-Interval Prediction of Stock Price Trends / Hyun-Syug Kang and Jianhua Diao -- Web Prefetching by ART1 Neural Network / Wenying Feng, Toufiq Hossain Kazi and Gongzhu Hu -- A User-Adaptive Augmented Reality System in Mobile Computing Environment / Sejin Oh and Yung-Cheol Byun -- Software Development Education Based on UEC Software Repository / Takaaki Goto, Takahiro Homma, Kensei Tsuchida and Tetsuro Nishino -- A Winner Determination Method on GlobalAd Service: Model and Formulation / Satoshi Takahashi, Yuji Hashiura, Roger Y. Lee and Tokuro Matsuo -- Effects of Utility Functions on Network Response Time and Optimization / Chris Johns, Kevin Mak, Gongzhu Hu and Wenying Feng -- Features Detection from Industrial Noisy 3D CT Data for Reverse Engineering / Thi-Chau Ma, Chang-soo Park, Kittichai Suthunyatanakit, Min-jae Oh and Tae-wan Kim, et al. -- Design of Lifecycle for Reliability of Open Source Software / Eun-Ser Lee and Joong-soo Kim -- Evaluation of Risk Items for Open Source Software / Eun-Ser Lee and Haeng-Kon Kim -- Cloud Computing for Business / Jan Seruga and Ha Jin Hwang -- Design of Mobile Software Architecture / Ji-Uoo Tak, Roger Y. Lee and Haeng-Kon Kim.
Record Nr. NYU-004375156
[ACIS International Symposium on Software and Network Engineering (1st : 2012 : Seoul, Korea)]  
Materiale a stampa
Lo trovi qui: New York University
Advances in computer science, engineering & applications [electronic resource] : proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 1 / David C. Wyld, Jan Zizka, and Dhinaharan Nagamalai (eds.).
Advances in computer science, engineering & applications [electronic resource] : proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 1 / David C. Wyld, Jan Zizka, and Dhinaharan Nagamalai (eds.).
Creatore [ICCSEA 2012 (2012 : New Delhi, India)]
Estensione 1 online resource (xxiii, 1048 pages).
Disciplina 004
Accesso persona Wyld, David C.
Žižka, Jan.
Nagamalai, Dhinaharan
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Engineering
Software engineering
Telecommunication
Computational Intelligence
Communications Engineering, Networks
Software Engineering/Programming and Operating Systems
Data Mining and Knowledge Discovery
ISBN 9783642301575
3642301576
3642301568
9783642301568
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automatic FAPs Determination and Expressions Synthesis / Narendra Patel and Mukesh A. Zaveri -- Generation of Orthogonal Discrete Frequency Coded Waveform Using Accelerated Particle Swarm Optimization Algorithm for MIMO Radar / B. Roja Reddy and M. Uttara Kumari -- Text Independent Speaker Recognition Model Based on Gamma Distribution Using Delta, Shifted Delta Cepstrals / K. Suri Babu, Srinivas Yarramalle and Suresh Varma Penumatsa -- Skin Segmentation Based Elastic Bunch Graph Matching for Efficient Multiple Face Recognition / Sayantan Sarkar -- A Study of Prosodic Features of Emotional Speech / X. Arputha Rathina, K.M. Mehata and M. Ponnavaikko -- Gender Classification Techniques: A Review / Preeti Rai and Pritee Khanna -- Text Dependent Voice Based Biometric Authentication System Using Spectrum Analysis and Image Acquisition / Somsubhra Gupta and Soutrik Chatterjee -- Interactive Investigation Support System Design with Data Mining Extension / Somsubhra Gupta, Saikat Mazumder and Sourav Mondal -- Pattern Recognition Approaches to Japanese Character Recognition / Soumendu Das and Sreeparna Banerjee -- Fast Fingerprint Image Alignment / Jaspreet Kour, M. Hanmandlu and A.Q. Ansari -- Colour and Texture Feature Based Hybrid Approach for Image Retrieval / Dipti Jadhav, Gargi Phadke and Satish Devane -- Application of Software Defined Radio for Noise Reduction Using Empirical Mode Decomposition / Sapan H. Mankad and S.N. Pradhan.
An Approach to Detect Hard Exudates Using Normalized Cut Image Segmentation Technique in Digital Retinal Fundus Image / Diptoneel Kayal and Sreeparna Banerjee -- Latency Study of Seizure Detection / Yusuf U. Khan, Omar Farooq, Priyanka Sharma and Nidal Rafiuddin -- Analysis of Equal and Unequal Transition Time Effects on Power Dissipation in Coupled VLSI Interconnects / Devendra Kumar Sharma, Brajesh Kumar Kaushik and Richa K. Sharma -- Image Analysis of DETECHIP® -- A Molecular Sensing Array / Marcus Lyon, Mark V. Wilson, Kerry A. Rouhier, David J. Symonsbergen and Kiran Bastola, et al. -- A Gaussian Graphical Model Based Approach for Image Inpainting / Krishnakant Verma and Mukesh A. Zaveri -- A Survey on MRI Brain Segmentation / M.C. Jobin Christ and R.M.S. Parvathi -- Can Ear and Soft-Biometric Traits Assist in Recognition of Newborn? / Shrikant Tiwari, Aruni Singh and Sanjay Kumar Singh -- Multi Segment Histogram Equalization for Brightness Preserving Contrast Enhancement / Mohd. Farhan Khan, Ekram Khan and Z.A. Abbasi -- Various Implementations of Advanced Dynamic Signature Verification System / Jin Whan Kim -- Performance of Face Recognition Algorithms on Dummy Faces / Aruni Singh, Shrikant Tiwari and Sanjay Kumar Singh -- Locally Adaptive Regularization for Robust Multiframe Super Resolution Reconstruction / S. Chandra Mohan, K. Rajan and R. Srinivasan -- Improved Watermark Extraction from Audio Signals by Scaling of Internal Noise in DCT Domain / Rajib Kumar Jha, Badal Soni, Rajlaxmi Chouhan and Kiyoharu Aizawa.
Performance of Adders with Logical Optimization in FPGA / R. Uma and P. Dhavachelvan -- Robust Iris Templates for Efficient Person Identification / Abhishek Gangwar, Akanksha Joshi, Renu Sharma and Zia Saquib -- Thesaurus Based Web Searching / K.V.N. Sunitha and A. Sharada -- An Adaptive Design Pattern for Genetic Algorithm Based Autonomic Computing System / B. Naga Srinivas Repuri, Vishnuvardhan Mannava and T. Ramesh -- Cross-Layer Design in Wireless Sensor Networks / S. Jagadeesan and V. Parthasarathy -- Semantic Based Category-Keywords List Enrichment for Document Classification / Upasana Pandey, S. Chakraverty, Richa Mihani, Ruchika Arya and Sonali Rathee, et al. -- Selection of Fluid Film Journal Bearing: A Fuzzy Approach / V.K. Dwivedi, Satish Chand and K.N. Pandey -- Implementation of New Biorthogonal IOFDM / A.V. Meenakshi, R. Kayalvizhi and S. Asha -- Application of Real Valued Neuro Genetic Algorithm in Detection of Components Present in Manhole Gas Mixture / Varun Kumar Ojha, Paramarta Dutta, Hiranmay Saha and Sugato Ghosh -- Concept Adapting Real-Time Data Stream Mining for Health Care Applications / Dipti D. Patil, Jyoti G. Mudkanna, Dnyaneshwar Rokade and Vijay M. Wadhai -- Efficient Domain Search for Fractal Image Compression Using Feature Extraction Technique / Amol G. Baviskar and S.S. Pawale -- Case Study of Failure Analysis Techniques for Safety Critical Systems / Aiswarya Sundararajan and R. Selvarani.
Implementation of Framework for Semantic Annotation of Geospatial Data / Preetam Naik, Madhuri Rao, S.S. Mantha and J.A. Gokhale -- Optimized Large Margin Classifier Based on Perceptron / Hemant Panwar and Surendra Gupta -- Study of Architectural Design Patterns in Concurrence with Analysis of Design Pattern in Safety Critical Systems / Feby A. Vinisha and R. Selvarani -- A Novel Scheme to Hide Identity Information in Mobile Captured Images / Anand Gupta, Ashita Dadlani, Rohit Malhotra and Yatharth Bansal -- A License Plate Detection Algorithm Using Edge Features / Mostafa Ayoubi Mobarhan, Asadollah Shahbahrami, Saman Parva, Mina Naghash Asadi and Atefeh Ahmadnya Khajekini -- Human and Automatic Evaluation of English to Hindi Machine Translation Systems / Nisheeth Joshi, Hemant Darbari and Iti Mathur -- A Novel Genetic Algorithm Based Method for Efficient QCA Circuit Design / Mohsen Kamrani, Hossein Khademolhosseini, Arman Roohi and Poornik Aloustanimirmahalleh -- Adaptation of Cognitive Psychological Framework as Knowledge Explication Strategy / S. Maria Wenisch, A. Ramachandran and G.V. Uma -- Comparing Fuzzy-C Means and K-Means Clustering Techniques: A Comprehensive Study / Sandeep Panda, Sanat Sahu, Pradeep Jena and Subhagata Chattopadhyay -- Comparative Analysis of Diverse Approaches for Air Target Classification Based on Radar Track Data / Manish Garg and Upasna Singh.
Speed Optimization in an Unplanned Lane Traffic Using Swarm Intelligence and Population Knowledge Base Oriented Performance Analysis / Prasun Ghosal, Arijit Chakraborty and Sabyasachee Banerjee -- Automation of Regression Analysis: Methodology and Approach / Kumar Abhishek, Prabhat Kumar and Tushar Sharad -- A New Hybrid Binary Particle Swarm Optimization Algorithm for Multidimensional Knapsack Problem / Amira Gherboudj, Said Labed and Salim Chikhi -- A Cooperative Multi-Agent System for Traffic Congestion Management in VANET / Mohamed EL Amine Ameur and Habiba Drias -- An Aspectual Feature Module Based Service Injection Design Pattern for Unstructured Peer-to-Peer Computing Systems / Vishnuvardhan Mannava, T. Ramesh and B. Naga Srinivas Repuri -- A Novel Hybrid Approach to N-Queen Problem / Kavishi Agarwal, Akshita Sinha and M. Hima Bindu -- Testing for Software Security: A Case Study on Static Code Analysis of a File Reader Java Program / Natarajan Meghanathan and Alexander Roy Geoghegan -- Vital Signs Data Aggregation and Transmission over Controller Area Network (CAN) / Nadia Ishaque, Noveel Azhar, Atiya Azmi, Umm-e-laila and Ammar Abbas -- A Comparative Study on Different Biometric Modals Using PCA / G. Pranay Kumar, Harendra Kumar Ram, Naushad Ali and Ritu Tiwari -- Methodology for Automatic Bacterial Colony Counter / Surbhi Gupta, Priyanka Kamboj and Sumit Kaushik -- Sorting of Decision Making Units in Data Envelopment Analysis with Intuitionistic Fuzzy Weighted Entropy / Neeraj Gandotra, Rakesh Kumar Bajaj and Nitin Gupta.
Reliability Quantification of an OO Design -Complexity Perspective- / A. Yadav and R.A. Khan -- A New Hybrid Algorithm for Video Segmentation / K. Mahesh and K. Kuppusamy -- Using Modularity with Rough Information Systems / Ahmed T. Shawky, Hesham A. Hefny and Ashraf H. Abd Elwhab -- Cost Optimized Approach to Random Numbers in Cellular Automata / Arnab Mitra and Anirban Kundu -- Selection of Views for Materializing in Data Warehouse Using MOSA and AMOSA / Rajib Goswami, D.K. Bhattacharyya and Malayananda Dutta -- Comparison of Deterministic and Probabilistic Approaches for Solving 0/1 Knapsack Problem / Ritika Mahajan, Sarvesh Chopra and Sonika Jindal -- Comparison of Content Based Image Retrieval System Using Wavelet Transform / Suchismita Das, Shruti Garg and G. Sahoo -- A New Approach for Hand Gesture Based Interface / T.M. Bhruguram, Shany Jophin, M.S. Sheethal and Priya Philip -- Multi-document Summarization Based on Sentence Features and Frequent Itemsets / J. Jayabharathy, S. Kanmani and Buvana -- Performance Evaluation of Evolutionary and Artificial Neural Network Based Classifiers in Diversity of Datasets / Pardeep Kumar, Nitin, Vivek Kumar Sehgal and Durg Singh Chauhan -- Some Concepts of Incomplete Multigranulation Based on Rough Intuitionistic Fuzzy Sets / B.K. Tripathy, G.K. Panda and Arnab Mitra -- Data Mining Model Building as a Support for Decision Making in Production Management / Pavol Tanuska, Pavel Vazan, Michal Kebisek, Oliver Moravcik and Peter Schreiber.
Multi-Objective Zonal Reactive Power Market Clearing Model for Improving Voltage Stability in Electricity Markets Using HFMOEA / Ashish Saini and Amit Saraswat -- Comparative Study of Image Forgery and Copy-Move Techniques / M. Sridevi, C. Mala and Siddhant Sanyam -- Single Sideband Encoder with Nonlinear Filter Bank Using Denoising for Cochlear Implant Speech Processor / Rohini S. Hallikar, M. Uttara Kumari and K. Padmaraju -- Crosstalk Reduction Using Novel Bus Encoders in Coupled RLC Modeled VLSI Interconnects / G. Nagendra Babu, Brajesh Kumar Kaushik and Anand Bulusu -- Event Triggering Mechanism on a Time Base: A Novel Approach for Sporadic as well as Periodic Task Scheduling / Ramesh Babu Nimmatoori, A. Vinay Babu and C. Srilatha -- A High Level Approach to Web Content Verification / Liliana Alexandre and Jorge Coelho -- Histogram Correlation for Video Scene Change Detection / Nisreen I. Radwan, Nancy M. Salem and Mohamed I. El Adawy -- Microposts' Ontology Construction / Beenu Yadav, Harsh Verma, Sonika Gill and Prachi Bansal -- A Comparative Study of Clustering Methods for Relevant Gene Selection in Microarray Data / Manju Sardana and R.K. Agrawal -- An Optimal Approach for DICOM Image Segmentation Based on Fuzzy Techniques / J. Umamaheswari and G. Radhamani -- A Two-Phase Item Assigning in Adaptive Testing Using Norm Referencing and Bayesian Classification / R. Kavitha, A. Vijaya and D. Saraswathi.
Implementation of Multichannel GPS Receiver Baseband Modules / Kota Solomon Raju, Y. Pratap, Virendra Patel, Gaurav Kumar and S.M.M. Naidu, et al. -- Towards a Practical "State Reconstruction" for Data Quality Methodologies: A Customized List of Dimensions / Reza Vaziri and Mehran Mohsenzadeh -- A Hybrid Reputation Model through Federation of Peers Having Analogous Function / G. Sreenu and P.M. Dhanya -- An Amalgam Approach for Feature Extraction and Classification of Leaves Using Support Vector Machine / N. Valliammal and S.N. Geethalakshmi -- Applying Adaptive Strategies for Website Design Improvement / Vinodani Katiyar, Kamal Kumar Srivastava and Atul Kumar -- WebTrovert: An AutoSuggest Search and Suggestions Implementing Recommendation System Algorithms / Akrita Agarwal, L. Annapoorani, Riya Tayal and Minakshi Gujral -- A Study of the Interval Availability and Its Impact on SLAs Risk / Andres J. Gonzalez and Bjarne E. Helvik -- Application of Intervention Analysis on Stock Market Forecasting / Mahesh S. Khadka, K.M. George, N. Park and J.B. Kim -- Partial Evaluation of Communicating Processes with Temporal Formulas and Its Application / Masaki Murakami -- Performance Analysis of a Hybrid Photovoltaic Thermal Single Pass Air Collector Using ANN / Deepali Kamthania, Sujata Nayak and G.N. Tiwari -- An Effective Software Implemented Data Error Detection Method in Real Time Systems / Atena Abdi, Seyyed Amir Asghari, Saadat Pourmozaffari, Hassan Taheri and Hossein Pedram.
Preprocessing of Automated Blood Cell Counter Data and Generation of Association Rules in Clinical Pathology / D. Minnie and S. Srinivasan -- The Particular Approach for Personalised Knowledge Processing / Stefan Svetsky, Oliver Moravcik, Pavol Tanuska, Jana Stefankova and Peter Schreiber, et al. -- Metrics Based Quality Assessment for Retrieval Ability of Web-Based Bioinformatics Tools / Jayanthi Manicassamy, P. Dhavachelvan and R. Baskaran -- Exploring Possibilities of Reducing Maintenance Effort in Object Oriented Software by Minimizing Indirect Coupling / Nirmal Kumar Gupta and Mukesh Kumar Rohil -- A New Hashing Scheme to Overcome the Problem of Overloading of Articles in Usenet / Monika Saxena, Praneet Saurabh and Bhupendra Verma -- Bio-inspired Computational Optimization of Speed in an Unplanned Traffic and Comparative Analysis Using Population Knowledge Base Factor / Prasun Ghosal, Arijit Chakraborty and Sabyasachee Banerjee -- Transliterated SVM Based Manipuri POS Tagging / Kishorjit Nongmeikapam, Lairenlakpam Nonglenjaoba, Asem Roshan, Tongbram Shenson Singh and Thokchom Naongo Singh, et al. -- A Survey on Web Service Discovery Approaches / Debajyoti Mukhopadhyay and Archana Chougule -- Intensity Based Adaptive Fuzzy Image Coding Method: IBAFC / Deepak Gambhir and Navin Rajpal -- Periocular Feature Extraction Based on LBP and DLDA / Akanksha Joshi, Abhishek Gangwar, Renu Sharma and Zia Saquib -- Towards XML Interoperability / Sugam Sharma, S.B. Goyal, Ritu Shandliya and Durgesh Samadhiya.
Record Nr. NYU-004375309
[ICCSEA 2012 (2012 : New Delhi, India)]  
Materiale a stampa
Lo trovi qui: New York University
Information computing and applications : second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011, proceedings. Part I / Chunfeng Liu, Jincai Chang, Aimin Yang (eds.).
Information computing and applications : second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011, proceedings. Part I / Chunfeng Liu, Jincai Chang, Aimin Yang (eds.).
Creatore [ICICA (Conference) (2nd : 2011 : Qinhuangdao, China)]
Estensione 1 online resource (xxviii, 715 pages).
Disciplina 004
Accesso persona Liu, Chunfeng
Chang, Jincai
Yang, Aimin
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer network architectures
Computer Communication Networks
Software engineering
Information theory
Computer software
Algorithm Analysis and Problem Complexity
Software Engineering/Programming and Operating Systems
Theory of Computation
Computer Systems Organization and Communication Networks
ISBN 9783642275036
3642275036
9783642275029
Classificazione 54.00
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006479036
[ICICA (Conference) (2nd : 2011 : Qinhuangdao, China)]  
Materiale a stampa
Lo trovi qui: New York University