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)]
![]() |
|
![]() | |
Lo trovi qui: New York University | |
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.]
![]() |
|
![]() | |
Lo trovi qui: New York University | |
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 |
![]() | |
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.). |
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.)]
![]() |
|
![]() | |
Lo trovi qui: New York University | |
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.]
![]() |
|
![]() | |
Lo trovi qui: New York University | |
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]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
Lo trovi qui: New York University | |
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)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
Lo trovi qui: New York University | |