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.
Advances in computer science and information technology : Networks and Communications : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings. Part I / edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai
Advances in computer science and information technology : Networks and Communications : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings. Part I / edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai
Creatore [International Conference on Computer Science and Information Technology (2011- ) (2nd : 2012 : Bangalore, India)]
Estensione 1 online resource (xxix, 645 pages).
Disciplina 004
Accesso persona Meghanathan, Natarajan, 1977-
Chaki, Nabendu
Nagamalai, Dhinaharan
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity
Information Storage and Retrieval
ISBN 9783642272998
3642272991
3642272983
9783642272981
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. Networks and Communications -- Adaptive Quorum Based MAC Protocol in Non Uniform Node Distribution of Wireless Sensor Networks / L. Sherly Puspha Annabel and K. Murugan -- Mobile Agent in InVANET -- Traffic Management / V. Arun and K.L. Shunmuganathan -- The Design of Observers for Nonlinear Control Systems around Equilibria / Sundarapandian Vaidyanathan -- A Node Stability Index-Based Connected Dominating Set Algorithm for Mobile Ad Hoc Networks / Natarajan Meghanathan -- Energy Efficient Dynamic Routing Protocol for Wireless Sensor Networks / Md Golam Murshed and Alastair R. Allen -- Generalized Projective Synchronization of Hyperchaotic Lü and Hyperchaotic Cai Systems via Active Control / Sarasu Pakiriswamy and Sundarapandian Vaidyanathan -- Energy Efficient Stable Connected Dominating Set Construction in Mobile Ad Hoc Networks / R. Ramalakshmi and S. Radhakrishnan -- Hybrid Synchronization of Arneodo and Rössler Chaotic Systems by Active Nonlinear Control / Sundarapandian Vaidyanathan and Suresh Rasappan -- Realization of SDR in Partial Reconfigurable FPGA Using Different Types of Modulation Techniques / Neenu Joseph and P. Nirmal Kumar -- A Recommender System for Sweaty Sock Syndrome / L. Arockiam, S. Charles, C. Lalitha and I. Carol -- Enhanced AODV Routing Protocol for Wireless Sensor Network Based on ZigBee / Dilip Kumar Ahirwar, Prashant Verma and Jitendra Daksh -- Sliding Mode Controller Design for the Global Chaos Synchronization of Coullet Systems / Sundarapandian Vaidyanathan and Sivaperumal Sampath.
Geralized Projective Synchronization of Double-Scroll Chaotic Systems Using Active Feedback Control / Sundarapandian Vaidyanathan and Sarasu Pakiriswamy -- Mobile Ad Hoc Networks Security Attacks and Secured Routing Protocols: A Survey / Supriya and Manju Khari -- Privacy and Security in Digital Networks from the Perspective of Modeling and Software Development / Erich Ortner -- A Logical Topology to Find Alternate Routes in WDM Lightwave Network / Santosh Das and Abhijit Makhal -- A Novel Approach for MIMO OFDM Systems to Estimate I/Q Imbalance, CFO, Channel Response Using Training Sequences / J. Tarun Kumar and K. Anitha Sheela -- A Trust Based Routing Scheme for Wireless Sensor Networks / Aveek Chakrabarti, Vishal Parekh and Atin Ruia -- Survey of Trust Schemes on Ad-Hoc Network / Renu Dalal, Manju Khari and Yudhvir Singh -- Improve Service Discovery Performance over Different Networks Utilization and Sizes / Intisar Al-Mejibli, Martin Colley and Salah Al-Majeed -- Adaptive K-Means Clustering to Handle Heterogeneous Data Using Basic Rough Set Theory / B.K. Tripathy, Adhir Ghosh and G.K. Panda -- Different Types of Attacks Mitigation in Mobile Ad Hoc Networks Using Cellular Automata / Himadri Nath Saha, Debika Bhattachayya and P.K. Banerjee -- A Location Dependent Semantic Cache Replacement Strategy in Mobile Environment / Kahkashan Tabassum, Mahmood Quadri Syed and A. Damodaram -- Connectivity of Autonomous Agents Using Ad-Hoc Mobile Router Networks / Emi Mathews and Ciby Mathew -- A New Approach to Stegnography / Soumik Mukherjee, Moumita Deb, Pratik Kumar Agarwal and Abhinava Roy -- Survey on Key Pre Distribution for Security in Wireless Sensor Networks / T.P. Rani and C. Jaya Kumar.
Part 2. Wireless and Mobile Networks -- A Link Distance Ratio Based Stable Multicast Routing Protocol for Mobile Ad Hoc Networks / Natarajan Meghanathan -- A New Security Solution Architecture (SSA) for MANETS against Network Layer Attacks / G.S. Mamatha -- Analysis of Different Associative Memory Neural Network for GPS/INS Data Fusion / S. Angel Deborah -- Handover Latency Measurement of Mobile IPv6 in a Testbed Environment / Muhammad Arif Amin, Kamalrulnizam Bin Abu Bakar, Abdul Hanan Abdullah, Mahesh Nair and Rashid Hafeez Khokhar -- Different Strategy for Data Management in Mobile Computing / Chandrani Chakravorty and J. Usha -- Generic Network Visualization Tool for Monitoring Adhoc Wireless Networks / Girish Revadigar and Chitra Javali -- Adaptive MMSE Equalizer through LMS Algorithm Based CMA Channel Equalization / R. Nirmala Devi, Tara Saikumar and K. Kishan Rao -- Weighted Angle Based Approach for Face Recognition / M. Koteswara Rao, K. Veeraswamy, K. Anitha Sheela and B. Chandra Mohan -- Multiple Mobile Agents based Data Dissemination Protocol for Wireless Sensor Networks / Govind P. Gupta, Manoj Misra and Kumkum Garg -- Enhanced Cluster Based Routing Protocol for MANETS / Kartheek Srungaram and M.H.M. Krishna Prasad -- Soft Computing Technique Based Call Admission Control Decision Mechanism / H.S. Ramesh Babu, Gowrishankar, G. Mahesh and P.S. Satyanarayana -- Mechanisms Supporting Mobility in WSNs / Saimadhavi and Y.S. Kumarswamy.
An Optimal RPC Based Approach to Increase Fault in Wireless Ad-Hoc Network / Rabindra Kumar Shial, K. Hemant Ku. Reddy and K.L. Narayana -- Location Management and Resource Allocation Using Load Balancing in Wireless Heterogeneous Networks / G. Adiline Macriga and V.S. Surya -- Cross Language Information Retrieval Approach in Peer-to-Peer Network / M. Archana and K.A. Sumithra Devi -- Detecting and Avoiding Wormhole Attack in MANET Using Statistical Analysis Approach / Saurabh Upadhyay and Brijesh Kumar Chaurasia -- Energy Efficient Hierarchical Clustering Routing Protocol for Wireless Sensor Networks / Diwakar Meenakshi and Sushil Kumar -- An Analysis on Energy Efficient System Design in Grid Computing / D. Ramesh and A. Krishnan -- Cluster-based Power Aware Scheduling (CPAS) Algorithm for Network Longevity in WSN / K. Arthi and P. Vanaja Ranjan -- Development of System for GPS Data Transmission to Web Server for Online over Head Conductor Sag Measurement / Sangeeta Kamboj and Ratna Dahiya -- A Comparative Study of Partitioning Algorithms for Wireless Sensor Networks / Zeenat Rehena, Debasree Das, Sarbani Roy and Nandini Mukherjee -- Sensor-Cloud: Assimilation of Wireless Sensor Network and the Cloud / Sanjit Kumar Dash, Jyoti Prakash Sahoo, Subasish Mohapatra and Sarada Prasanna Pati -- Game Theoretic Model for Selfish Node Avoidance in Ad Hoc Networks / Upasana Dohare, D.K. Lobiyal and Sushil Kumar -- Performance Evaluation of VANET Using Realistic Vehicular Mobility / Nidhi and D.K. Lobiyal -- Ensuring Data Confidentiality and Privacy in Mobile Ad Hoc Networks / Hamza Aldabbas, Helge Janicke, Radwan AbuJassar and Tariq Alwada'n -- Hiding Sensitive Association Rules without Altering the Support of Sensitive Item(s) / Dhyanendra Jain, Pallavi Khatri, Rishi Soni and Brijesh Kumar Chaurasia.
Part 3. Network Security -- Dependable Solutions Design by Agile Modeled Layered Security Architectures / M. Upendra Kumar, D. Sravan Kumar, B. Padmaja Rani, K. Venkateswar Rao and A.V. Krishna Prasad, et al. -- Block Lanczos to Solve Integer Factorization Problem Using GPU's / Harish Malla, Vilas SantKaustubh, Rajasekharan Ganesh and Padmavathy R. -- Lattice Based Tools for Cryptanalysis in Various Applications / R. Santosh Kumar, C. Narasimham and S. Pallam Setty -- Securing the National Knowledge Network / S.V. Nagaraj -- Pattern Based IDS Using Supervised, Semi-supervised and Unsupervised Approaches / Vinod K. Pachghare, Vaibhav K. Khatavkar and Parag Kulkarni -- A Secure Session Transfer Protocol for Downloading a Large File across a Cluster of Servers in the Presence of Network Congestion / Natarajan Meghanathan and Bhadrachalam Chitturi -- An Improved Anti Spam Filter Based on Content, Low Level Features and Noise / Anand Gupta, Chhavi Singhal and Somya Aggarwal.
Diameter Single Sign On -- Secure and Personalized Service Provision via Authentication and Authorization Mechanisms / Robayet Nasim -- Application of Genetic Algorithms for Detecting Anomaly in Network Intrusion Detection Systems / K.G. Srinivasa -- A New Symmetric Key Cryptosystem Based on Feistel Network: Parallel Dependent Feistel Network (PDFN) / Indrajit Das and R. Saravanan -- Survey of Shape Based Boundary Methods for Leaf Retrieval / Komal Asrani, Renu Jain and Deepak Asrani -- Modified Chain Code Histogram Feature for Handwritten Character Recognition / Jitendra Jain, Soyuj Kumar Sahoo, S.R. Mahadeva Prasanna and G. Siva Reddy -- A Novel Image Edge Detection Method Using Simplified Gabor Wavelet / C. Sujatha and D. Selvathi -- Low Power Spatial Modulation Scheme for Wide Band Multiple Input and Multiple Output Wireless Communication Systems / Dhirendra Kumar Tripathi, S. Saravanan and HarNarayan Upadhyay.
Record Nr. NYU-004375081
[International Conference on Computer Science and Information Technology (2011- ) (2nd : 2012 : Bangalore, India)]  
Materiale a stampa
Lo trovi qui: New York University
Software process improvement and capability determination : 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings / Antonia Mas [and others] (eds.).
Software process improvement and capability determination : 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings / Antonia Mas [and others] (eds.).
Creatore [SPICE 2012 (2012 : Palma de Mallorca, Spain)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Mas, Antonia
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Information systems
Management of Computing and Information Systems
Computers and Society
Algorithm Analysis and Problem Complexity
Computer Appl. in Administrative Data Processing
ISBN 9783642304392
3642304397
9783642304385
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. Organizational Process Improvement 1 -- Critical Success Factors in Software Process Improvement: A Systematic Review / Sussy Bayona, Jose A. Calvo-Manzano and Tomás San Feliu -- Integrated Process Improvement Approach: Case Studies in Skype Technologies Ltd. / Anneli Tuisk, André Karpištšenko and Marion Lepmets -- A Case Study on Employee Perceptions of Organization Wide Continuous Process Improvement Activities / Algan Uskarcı and Onur Demirörs -- Part 2. SPI in Small and Very Small Enterprises -- Using Composition Trees to Validate an Entry Profile of Software Engineering Lifecycle Profiles for Very Small Entities (VSEs) / Lian Wen and Terry Rout -- Gained Experience by Making Intervention to Improve Software Process in Very Small Organizations / Mohammad Zarour, Jean-Marc Desharnais, Abdulrahman Alarifi, Naji Habra and Grégory Cassiers, et al. -- A Hierarchy of SPI Activities for Software SMEs: Results from ISO/IEC 12207-Based SPI Assessments / Paul Clarke, Rory V. O'Connor and Murat Yilmaz.
Part 3. Process Models 1 -- Innovation, Knowledge- and Technology Transfer Process Capability Model -- innoSPICETM / Jeremy Besson, Tanja Woronowicz, Antanas Mitasiunas and Michael Boronowsky -- A Case Study on Process Composition Using Enterprise SPICE Model / Amalia Alvarez, Santiago Matalonga and Tomás San Feliu -- Extending ISO/IEC 12207 with Software Product Management: A Process Reference Model Proposal / Fritz Stallinger and Robert Neumann -- Part 4. SPI in Automotive Software and Security -- An Experiment on Merging Quality Assessment in Automotive Domain / Morayo Adedjouma, Hubert Dubois, François Terrier and Tarek Kitouni -- A Process-Oriented Approach for Functional Safety Implementation in the Automotive Industry / Maria Antonieta Garcia, Ernesto Viale, Marco Bellotti and João Carlos Alchieri -- Designing a Process Reference Model for Information Security Management Systems / Olivier Mangin, Béatrix Barafort, Patrick Heymans and Eric Dubois.
Part 5. SPI in Medical and Safety Critical Systems -- Barriers to Adopting Agile Practices When Developing Medical Device Software / Martin McHugh, Fergal McCaffery and Valentine Casey -- Development of a Process Assessment Model for Assessing Medical IT Networks against IEC 80001-1 / Silvana Togneri MacMahon, Fergal McCaffery, Sherman Eagles, Frank Keenan and Marion Lepmets, et al. -- Traceability-Why Do It? / Gilbert Regan, Fergal McCaffery, Kevin McDaid and Derek Flood -- Part 6. Organizational Process Improvement 2 -- Improving the Tendering Process through the Deployment of PMBOK® / Antònia Mas and Antoni Lluís Mesquida -- FIRST: Common-Sense Process Scopes for Starting a Process Improvement Program / Luigi Buglione, Fergal McCaffery, Jean Carlo Rossa Hauck and Christiane Gresse von Wangenheim -- A Systematic Approach to the Comparison of Roles in the Software Development Processes / Murat Yilmaz, Rory V. O'Connor and Paul Clarke.
Part 7. Process Models 2 -- Framework for Usage of Multiple Software Process Models / Stasys Peldzius and Saulius Ragaisis -- Self-assessment Model and Review Technique for SPICE: SMART SPICE / Sharmistha Kar, Satyabrata Das, Amiya Kumar Rath and Subrata Kumar Kar -- Bayesian Network Based Bug-fix Effort Prediction Model / Bharathi V., Udaya Shastry and Joseph Raj -- Part 8. Short Papers -- A State of Art of Software Improvement Implementation Support Tools in SMEs / Mirna Muñoz, Antonio De Amescua, Jezreel Mejia, Jose A. Calvo-Manzano and Gonzalo Cuevas, et al. -- Adaptive Process Improvement Approaches / Ravindra Joshi -- Improving Risk Management Practices with Success Driver Analysis / Ernest Wallmüller -- Software Engineering Process and Quality Assurance Framework for Automotive Product Engineering Outsourcing / Manfred Schedl, Eugene Nebrat and Lyudmila Matveeva -- Applying Kaizen for Improving Productivity in Automotive Software Projects / Smitha Bhandary, Balaji Ramachandran and Basavaraj Betageri.
Best Practices for Achieving Automotive SPICE Capability Level 3 / Anna Orecka, Sebastian Dawid and Rafał Dzianach -- Development of the Medi SPICE PRM / Valentine Casey and Fergal McCaffery -- Concrete, Steel and ISO 15288 / Han van Loon -- DEFT -- A Test Framework to Aid Decision Making / Gerry Crines, Sarah Salahuddin and Donald Mackinnon -- Evaluating Management Sentiment towards ISO/IEC 29110 in Very Small Software Development Companies / Rory V. O'Connor -- Using Process Assessment Models Based on Multiple Process Reference Models in a Capability Determination Context / Terry Rout -- Using Target Process Profiles in the Real World / Han van Loon -- Agile Maturity Model: Oxymoron or the Next Level of Understanding / Tomas Schweigert, Risto Nevalainen, Detlef Vohwinkel, Morten Korsaa and Miklos Biro -- The Gamification of SPICE / Alec Dorling and Fergal McCaffery.
Record Nr. NYU-004375469
[SPICE 2012 (2012 : Palma de Mallorca, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Combinatorial pattern matching : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings / Juha Kärkkäinen, Jens Stoye (eds.).
Combinatorial pattern matching : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings / Juha Kärkkäinen, Jens Stoye (eds.).
Creatore [CPM (Symposium) (23rd : 2012 : Helsinki, Finland)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Kärkkäinen, Juha
Stoye, Jens
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Data structures (Computer science)
Computer software
Electronic data processing
Computational complexity
Optical pattern recognition
Bioinformatics
Pattern Recognition
Algorithm Analysis and Problem Complexity
Numeric Computing
Discrete Mathematics in Computer Science
Data Structures
Computational Biology/Bioinformatics
ISBN 9783642312656
3642312659
9783642312649
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Gene Regulation, Protein Networks and Disease: A Computational Perspective / Ron Shamir -- Wavelet Trees for All / Gonzalo Navarro -- The Maximum Number of Squares in a Tree / Maxime Crochemore, Costas S. Iliopoulos, Tomasz Kociumaka, Marcin Kubica and Jakub Radoszewski, et al. -- Faster and Simpler Minimal Conflicting Set Identification / (Extended Abstract) / Aïda Ouangraoua and Mathieu Raffinot -- Partitioning into Colorful Components by Minimum Edge Deletions / Sharon Bruckner, Falk Hüffner, Christian Komusiewicz, Rolf Niedermeier and Sven Thiel, et al. -- Approximation Algorithms and Hardness Results for Shortest Path Based Graph Orientations / Dima Blokh, Danny Segev and Roded Sharan -- Constant-Time Word-Size String Matching / Dany Breslauer, Leszek Gąsieniec and Roberto Grossi -- Pattern Matching in Multiple Streams / Raphaël Clifford, Markus Jalsenius, Ely Porat and Benjamin Sach -- An Efficient Linear Pseudo-minimization Algorithm for Aho-Corasick Automata / Omar AitMous, Frédérique Bassino and Cyril Nicaud -- Efficient Two-Dimensional Pattern Matching with Scaling and Rotation and Higher-Order Interpolation / Christian Hundt and Florian Wendland -- Hardness of Longest Common Subsequence for Sequences with Bounded Run-Lengths / Guillaume Blin, Laurent Bulteau, Minghui Jiang, Pedro J. Tejada and Stéphane Vialette -- Near Linear Time Construction of an Approximate Index for All Maximum Consecutive Sub-sums of a Sequence / Ferdinando Cicalese, Eduardo Laber, Oren Weimann and Raphael Yuster -- The Complexity of String Partitioning / Anne Condon, Ján Maňuch and Chris Thachuk -- Towards an Optimal Space-and-Query-Time Index for Top-k Document Retrieval / Wing-Kai Hon, Rahul Shah and Sharma V. Thankachan -- Document Listing for Queries with Excluded Pattern / Wing-Kai Hon, Rahul Shah, Sharma V. Thankachan and Jeffrey Scott Vitter -- Cross-Document Pattern Matching / Gregory Kucherov, Yakov Nekrich and Tatiana Starikovskaya -- FEMTO: Fast Search of Large Sequence Collections / Michael P. Ferguson -- Speeding Up q-Gram Mining on Grammar-Based Compressed Texts / Keisuke Goto, Hideo Bannai, Shunsuke Inenaga and Masayuki Takeda -- Simple and Efficient LZW-Compressed Multiple Pattern Matching / Paweł Gawrychowski -- Computing the Burrows-Wheeler Transform of a String and Its Reverse / Enno Ohlebusch, Timo Beller and Mohamed I. Abouelhoda -- Efficient Algorithm for Circular Burrows-Wheeler Transform / Wing-Kai Hon, Tsung-Han Ku, Chen-Hua Lu, Rahul Shah and Sharma V. Thankachan -- Least Random Suffix/Prefix Matches in Output-Sensitive Time / Niko Välimäki -- Compressed String Dictionary Look-Up with Edit Distance One / Djamal Belazzougui and Rossano Venturini -- Time-Space Trade-Offs for Longest Common Extensions / Philip Bille, Inge Li Gørtz, Benjamin Sach and Hjalte Wedel Vildhøj -- Local Exact Pattern Matching for Non-fixed RNA Structures / Mika Amit, Rolf Backofen, Steffen Heyne, Gad M. Landau and Mathias Möhl, et al. -- Impact of the Energy Model on the Complexity of RNA Folding with Pseudoknots / Saad Sheikh, Rolf Backofen and Yann Ponty -- Finding Longest Common Segments in Protein Structures in Nearly Linear Time / Yen Kaow Ng, Hirotaka Ono, Ling Ge and Shuai Cheng Li -- A Linear Kernel for the Complementary Maximal Strip Recovery Problem / Haitao Jiang and Binhai Zhu -- Efficient Exponential Time Algorithms for Edit Distance between Unordered Trees / Tatsuya Akutsu, Takeyuki Tamura, Daiji Fukagawa and Atsuhiro Takasu -- Fixed-Parameter Algorithms for Finding Agreement Supertrees / David Fernández-Baca, Sylvain Guillemot, Brad Shutters and Sudheer Vakati -- Computing the Rooted Triplet Distance between Galled Trees by Counting Triangles / Jesper Jansson and Andrzej Lingas -- Minimum Leaf Removal for Reconciliation: Complexity and Algorithms / Riccardo Dondi and Nadia El-Mabrouk -- On the Closest String via Rank Distance / Liviu P. Dinu and Alexandru Popa -- On Approximating String Selection Problems with Outliers / Christina Boucher, Gad M. Landau, Avivit Levy, David Pritchard and Oren Weimann -- The Parameterized Complexity of the Shared Center Problem / Zhi-Zhong Chen, Lusheng Wang and Wenji Ma.
Record Nr. NYU-004375687
[CPM (Symposium) (23rd : 2012 : Helsinki, Finland)]  
Materiale a stampa
Lo trovi qui: New York University
Artificial evolution : 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, revised selected papers / Jin-Kao Hao [and others] (eds.).
Artificial evolution : 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, revised selected papers / Jin-Kao Hao [and others] (eds.).
Creatore [EA 2011 (2011 : Angers, France)]
Estensione 1 online resource (xv, 228 pages) : illustrations.
Disciplina 005.1
Accesso persona Hao, J.-K. (Jin-Kao)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Electronic data processing
Information storage and retrieval systems
Artificial intelligence
Optical pattern recognition
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Pattern Recognition
ISBN 9783642355332
3642355331
9783642355325
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Ant Colony Optimization -- An Immigrants Scheme Based on Environmental Information for Ant Colony Optimization for the Dynamic Travelling Salesman Problem / Michalis Mavrovouniotis, Shengxiang Yang -- Multi-Objective Optimization -- A Surrogate-Based Intelligent Variation Operator for Multiobjective Optimization / Alan Díaz-Manríquez, Gregorio Toscano-Pulido, Ricardo Landa-Becerra -- The Relationship between the Covered Fraction, Completeness and Hypervolume Indicators / Viviane Grunert da Fonseca, Carlos M. Fonseca -- Analysis -- A Rigorous Runtime Analysis for Quasi-Random Restarts and Decreasing Stepsize / Marc Schoenauer, Fabien Teytaud, Olivier Teytaud -- Local Optima Networks with Escape Edges / Sébastien Vérel, Fabio Daolio, Gabriela Ochoa, Marco Tomassini -- Visual Analysis of Population Scatterplots / Evelyne Lutton, Julie Foucquier, Nathalie Perrot, Jean Louchet, Jean-Daniel Fekete.
Implementation and Robotics -- An On-Line On-Board Distributed Algorithm for Evolutionary Robotics / Robert-Jan Huijsman, Evert Haasdijk, A.E. Eiben -- Improving Performance via Population Growth and Local Search: The Case of the Artificial Bee Colony Algorithm / Doğan Aydın, Tianjun Liao, Marco A. Montes de Oca, Thomas Stützle -- Two Ports of a Full Evolutionary Algorithm onto GPGPU / Ogier Maitre, Nicolas Lachiche, Pierre Collet -- Combinatorial Optimization -- A Multilevel Tabu Search with Backtracking for Exploring Weak Schur Numbers / Denis Robilliard, Cyril Fonlupt, Virginie Marion-Poty, Amine Boumaza -- An Improved Memetic Algorithm for the Antibandwidth Problem / Eduardo Rodriguez-Tello, Luis Carlos Betancourt -- Learning and Parameter Tuning -- Adaptive Play in a Pollution Bargaining Game / Vincent van der Goes -- Learn-and-Optimize: A Parameter Tuning Framework for Evolutionary AI Planning / Mátyás Brendel, Marc Schoenauer -- New Nature Inspired Models.
A Model Based on Biological Invasions for Island Evolutionary Algorithms / Ivanoe De Falco, Antonio Della Cioppa, Domenico Maisto, Umberto Scafuri -- A Multi-objective Particle Swarm Optimizer Enhanced with a Differential Evolution Scheme / Jorge Sebastian Hernández-Domínguez, Gregorio Toscano-Pulido, Carlos A. Coello Coello -- Probabilistic Algorithms -- Evolution of Multisensory Integration in Large Neural Fields / Benjamin Inden, Yaochu Jin, Robert Haschke, Helge Ritter -- Reducing the Learning Time of Tetris in Evolution Strategies / Amine Boumaza -- Theory and Evolutionary Search -- Black-Box Complexity: Breaking the O(n logn) Barrier of LeadingOnes / Benjamin Doerr, Carola Winzen -- Applications -- Imperialist Competitive Algorithm for Dynamic Optimization of Economic Dispatch in Power Systems / Robin Roche, Lhassane Idoumghar, Benjamin Blunier, Abdellatif Miraoui.
Record Nr. NYU-004389297
[EA 2011 (2011 : Angers, France)]  
Materiale a stampa
Lo trovi qui: New York University
Multi-disciplinary trends in artificial intelligence [electronic resource] : 6th International Workshop, MIWAI 2012, Ho Chi Minh City, Vietnam, December 26-28, 2012. Proceedings / Chattrakul Sombattheera [and others] (eds.).
Multi-disciplinary trends in artificial intelligence [electronic resource] : 6th International Workshop, MIWAI 2012, Ho Chi Minh City, Vietnam, December 26-28, 2012. Proceedings / Chattrakul Sombattheera [and others] (eds.).
Creatore [MIWAI 2012 (2012 : Ho Chi Minh City, Vietnam)]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Sombattheera, Chattrakul
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Database management
Artificial intelligence
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Algorithm Analysis and Problem Complexity
ISBN 9783642354557
3642354556
9783642354540
3642354548
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto An Approach for Tuning the Parametric Water Flow Algorithm Based on ANN / Darko Brodić, Zoran N. Milivojević -- Mining Frequent Common Families in Trees / Kyung Mi Lee, Chan Hee Lee, Keon Myung Lee -- A Structure Based Approach for Mathematical Expression Retrieval / P. Pavan Kumar, Arun Agarwal -- Toward Composite Object Classification Using a Probabilistic Inference Engine / Suwan Tongphu, Boontawee Suntisrivaraporn -- Relocation Action Planning in Electric Vehicle Sharing Systems / Junghoon Lee, Hye-Jin Kim, Gyung-Leen Park -- A Guide to Portfolio-Based Planning / Mauro Vallati -- Color and Texture Image Segmentation / Chitti Kokil Kumar, Arun Agarwal -- Evolutionary Multi-objective Optimization Based Proportional Integral Controller Design for Induction Motor Drive / Moulay Rachid Douiri, Mohamed Cherkaoui -- A Multi-agent Scheduling Model for Maximizing Agent Satisfaction / Eugene Levner, Amir Elalouf, Huajun Tang.
Enhancing Pixel Oriented Visualization by Merging Circle View and Circle Segment Visualization Techniques / Zainab Aftab, Huma Tuaseef -- Time Series Prediction Using Motif Information / Cao Duy Truong, Duong Tuan Anh -- A New Approach for Measuring Semantic Similarity in Ontology and Its Application in Information Retrieval / Kishor Wagh, Satish Kolhe -- Local Stereo Matching by Joining Shiftable Window and Non-parametric Transform / Hong Phuc Nguyen, Thi Dinh Tran -- A Comprehensive Analysis and Study in Intrusion Detection System Using k-NN Algorithm / Sharmila Wagh, Gaurav Neelwarna -- AI-Based Support for Experimentation in an Environmental Biotechnological Process / Dariusz Choinski, Mieczyslaw Metzger -- Stereo Matching by Fusion of Local Methods and Spatial Weighted Window / Thi Dinh Tran, Hong Phuc Nguyen -- Efficient Handling of 2D Image Queries Using VPC-tree / Tran Cong Doi, Quan Thanh Tho -- Novel Granular Framework for Attribute Reduction in Incomplete Decision Systems / Sai Prasad P.S.V.S.
Agent-Based Control System for Sustainable Wastewater Treatment Process / Grzegorz Polaków -- Tuning the Optimization Parameter Set for Code Size / N.A.B. Sankar Chebolu, Rajeev Wankar -- Mining Weighted Frequent Sub-graphs with Weight and Support Affinities / Gangin Lee, Unil Yun -- Simple Spatial Clustering Algorithm Based on R-tree / Nam Nguyen Vinh, Bac Le -- Minimal Generalization for Conjunctive Queries / Thu-Le Pham, Katsumi Inoue -- Interruptibility and Its Negative Impact on Graph Exploration Missions by a Team of Robots / Hamido Hourani, Eckart Hauck, Sabina Jeschke -- Monte-Carlo Search for Snakes and Coils / David Kinny -- Algorithms for Filtration of Unordered Sets of Regression Rules / Łukasz Wróbel, Marek Sikora, Adam Skowron -- Evaluation of Jamendo Database as Training Set for Automatic Genre Recognition / Mariusz Kleć -- An Integrated Model for Financial Data Mining / Fan Cai, N-A. LeKhac, M-Tahar Kechadi -- Correlation Based Feature Selection Using Quantum Bio Inspired Estimation of Distribution Algorithm / Omar S. Soliman, Aliaa Rassem.
Record Nr. NYU-004390099
[MIWAI 2012 (2012 : Ho Chi Minh City, Vietnam)]  
Materiale a stampa
Lo trovi qui: New York University
Advances in computing, communication, and control : third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings / Srija Unnikrishnan, Sunil Surve, Deepak Bhoir (eds.).
Advances in computing, communication, and control : third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings / Srija Unnikrishnan, Sunil Surve, Deepak Bhoir (eds.).
Creatore [International Conference on Advances in Computing, Communication, and Control (3rd : 2013 : Mumbai, India)]
Estensione 1 online resource (xviii, 749 pages) : illustrations (black and white).
Disciplina 004
Accesso persona Unnikrishnan, Srija, editor
Surve, Sunil, editor
Bhoir, Deepak, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Data mining
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity
ISBN 9783642363214
3642363210
9783642363207
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Computing -- k-QTPT: A Dynamic Query Optimization Approach for Autonomous Distributed Database Systems / Pankti Doshi, Vijay Raisinghani -- Market-Driven Continuous Double Auction Method for Service Allocation in Cloud Computing / Nima Farajian, Kamran Zamanifar -- Prediction Based Job Scheduling Strategy for a Volunteer Desktop Grid / Shaik Naseera, K.V. Madhu Murthy -- GRAF Password for More Secured User Authentication / Rohini Temkar, Geocey Shejy, Dhanamma Jagli -- Secured Mechanism for Dynamic Key Generation in ATM System / Praveen S. Challagidad, Jayashree D. Mallapur -- U-STRUCT: A Framework for Conversion of Unstructured Text Documents into Structured Form / Rajni Jindal, Shweta Taneja -- Performing Web Log Analysis and Predicting Intelligent Navigation Behavior Based on Student Accessing Distance Education System / Shivkumar Khosla, Varunakshi Bhojane -- Web Content Mining Using Genetic Algorithm / Faustina Johnson, Santosh Kumar.
Improved Implementation and Performance Analysis of Association Rule Mining in Large Databases / H.R. Nagesh, M. Bharath Kumar, B. Ravinarayana -- An Optimized Formulation of Decision Tree Classifier / Fahim Irfan Alam, Fateha Khanam Bappee, Md. Reza Rabbani, Md. Mohaiminul Islam -- MapReduce Frame Work: Investigating Suitability for Faster Data Analytics / Monali Mavani, Leena Ragha -- Quality Factor Assessment and Text Summarization of Unambiguous Natural Language Requirements / R. Subha, S. Palaniswami -- A Comparative Study of Spam and PrefixSpan Sequential Pattern Mining Algorithm for Protein Sequences / Rashmi V. Mane -- Business Oriented Web Service Processing and Discovery Framework / Debajyoti Mukhopadhyay, Falguni Chathly, Nagesh Jadhav -- Constraint Driven Stratification of RDF with Hypergraph Graph (HG(2)) Data Structure / Shiladitya Munshi, Ayan Chakraborty, Debajyoti Mukhopadhyay -- Ontology Based Zone Indexing Using Information Retrieval Systems / Rajeswari Mukesh, Sathish Kumar Penchala, Anupama K. Ingale.
Framework for Blog Software in Web Application / Karan Gupta, Anita Goel -- Demonstration of Signature Analysis Using Intelligent Systems / Aishwarya Venkatesh, Alifiya Bhanpurawala, Subhashree Chowdhury, D.R. Kalbande -- A Question Answering System Supporting Temporal Queries / Suresh Kumar Sanampudi, Vanitha Guda -- Domain Identification and Classification of Web Pages Using Artificial Neural Network / Sonali Gupta, Komal Kumar Bhatia -- Artificial Intelligence Based Integrated Cricket Coach / Chirag Mandot, Ritika Chawla -- AHP Driven GIS Based Emergency Routing in Disaster Management / Varsha Mali, Madhuri Rao, S.S. Mantha -- An Efficient Genetic Based Algorithm for an Irregular Low Density Parity Check Code with Low Computational Complexity and Low Error Floor / D.P. Rathod, R.N. Awale -- Channel Allocation for Cellular Networks Using Genetic Algorithm / Jish Elizabeth Joy, Reena Kumbhare.
NACPred: Computational Prediction of NAC Proteins in Rice Implemented Using SMO Algorithm / N. Hemalatha, M.K. Rajesh, N.K. Narayanan -- Communication -- Transmission and Reception Based Relay Deployment for Database Transactions in MANETs / B. Diwan, M.R. Sumalatha -- Optimization of Data Allocation for Mobile Value Added Services / Ayesha Kazi, Sonal Shah, Zinnia Katib, Meera Narvekar, S.S. Mantha -- Context Aware, Mobile Phone Based Sink Model of Wireless Sensor Network for Indian Agriculture / Prashant Ingole, Jayant Pawar, Hrishikesh Vhatkar -- TruVAL: Trusted Vehicle Authentication Logic for VANET / Suparna DasGupta, Rituparna Chaki, Sankhayan Choudhury -- Deterministic Evaluation of Identity Based Random Key Distribution Using Deployment Knowledge in WSNs / P. Saritha Hepsibha, G. Sanjiv Rao -- Performance Evaluation of GMSK for Digital Mobile Radio Telephony / Gejo George, Srija Unnikrishnan -- Reducing Interference in Cluster Based Sensor Network Using FDMA-CDMA Technique / Sankar Mukherjee, G.P. Biswas.
Priority Based Scheduler for Bluetooth Network / M.J. Sataraddi, Jayashree D. Mallapur, S.C. Hiremath, K. Nagarathna -- QP -- ALAH: QoS Provisioned -- Application Layer Auxiliary Handover in IEEE 802.16e Networks / M. Deva Priya, M.L. Valarmathi, K. Jaya Bharathi, V. Sundarameena -- Improved Latency Handover in Fast MIPv6 for Streaming Video / Vidhate Amarsinh, Satish Devane -- A Technique to Improve Overall Efficiency in Wireless Cellular Network / Jayashree Shinde, Ruchira Jadhav -- Broadband Semi-circular Microstrip Antennas / Amit A. Deshmukh, K.P. Ray, A.R. Jain, M. Mansi, R. Pratiksha, S. Raj -- Alternative Mathematical Design of Vector Potential and Radiated Fields for Parabolic Reflector Surface / Praveen Kumar Malik, Harish Parthasarthy, M.P. Tripathi -- Formulation of Resonance Frequency for Shorted Rectangular Microstrip Antennas / Amit A. Deshmukh, K.P. Ray, A. Joshi, K. Aswathi, K. Nada, K. Prithvi.
Performance Analysis of PMD/SBS, Nonlinearity and NRZ/RZ Formats in High Speed Optical Fiber Links / B.U. Rindhe, Jyothi Digge, S.K. Narayankhedkar -- Ultra Long Period Reversible Fiber Gratings as a Pressure Sensor / Sunita Pandit Ugale, Vivekanand Mishra, Angela Amphawan -- Multicast Traffic Grooming in Sparse Splitting WDM Mesh Networks / Ashok Kumar Pradhan, Tanmay De -- Performance Analysis of LMS Filter in Linearization of Different Memoryless Non Linear Power Amplifier Models / J.N. Swaminathan, P. Kumar, M. Vinoth -- FPGA Implementation of ZigBee Baseband Transceiver System for IEEE 802.15.4 / Bijaya Kumar Muni, Sarat Kumar Patra -- Area and Speed Efficient Arithmetic Logic Unit Design Using Ancient Vedic Mathematics on FPGA / Sushma R. Huddar, Sudhir Rao Rupanagudi, Venkatesh Janardhan, Surabhi Mohan, S. Sandya -- Implementation and Evaluation of Performance Parameters of Zigbee Transreceiver / Jagruti Nagaonkar, Srija Unnikrishnan.
Improved Technique to Remove ECG Baseline Wander -- Application to Pan & Tompkins QRS Detection Algorithm / Rameshwari Mane, A.N. Cheeran, Vaibhav D. Awandekar -- Image Classification Using Advanced Block Truncation Coding with Ternary Image Maps / Sudeep D. Thepade, Rik Kamal Kumar Das, Saurav Ghosh -- Low Cost Braille Embosser Using Speech Hypothesis / Neerja Sonawane, Amey Laddad, Sanjay Gandhe -- ISSR: Intensity Slicing and Spatial Resolution Approaches for Moving Object Detection and Tracking under Litter Background / M.T. Gopala Krishna, M. Ravishankar, D.R. Rameshbabu -- Novel Algorithm for Image Processing Based Hand Gesture Recognition and Its Application in Security / N. Dhruva, Sudhir Rao Rupanagudi, H.N. Neelkant Kashyap -- ROI Based Iris Segmentation and Block Reduction Based Pixel Match for Improved Biometric Applications / Shrinivas Rao B. Kulkarni, Ravindra S. Hegadi, Umakant P. Kulkarni -- Simulation and Implementation of Electronic Cochlea / Nibha Desai, Deepak V. Bhoir, Sapna Prabhu.
Face Detection in Color Images Based on Explicitly-Defined Skin Color Model / Ravi Subban, Richa Mishra -- Detection of Drowsiness Using Fusion of Yawning and Eyelid Movements / Vidyagouri B. Hemadri, Umakant P. Kulkarni -- Design of Novel Algorithm and Architecture for Gaussian Based Color Image Enhancement System for Real Time Applications / M.C. Hanumantharaju, M. Ravishankar, D.R. Rameshbabu -- Content Based Video Retrieval Using Color Feature: An Integration Approach / Brijmohan Daga -- Control -- From Theory to Practice: Collaborative Coverage Using Swarm Networked Robot in Localisation / Paramita Mandal, Ranjit Kumar Barai, Madhubanti Maitra, Subhasish Roy -- A Frequency Response Matching Method for PID Controller Design for Industrial Processes with Time Delay / Somnath Pan, Md Nishat Anwar -- Uncertainty Quantification and Sensitivity Analysis for a Nonlinear Bioreactor / T. Babu, N. Pappa -- Design and Implementation of a Direct Torque Control Space Vector Modulated Three Phase Induction Motor Drive / Shrishell Muchande, Arvind Kadam, Keerthi Unni, Sushil Thale.
Passivity Based Control for Lateral Slosh / G. Gogte, Ch. Venkatesh, D. Tiwari, N.M. Singh -- Others -- Performance Improvement of Hysteresis Current Controller Based Three-Phase Shunt Active Power Filter for Harmonics Elimination in a Distribution System / Gayadhar Panda, Santanu Kumar Dash, Pravat Kumar Ray, Pratap Sekhar Puhan -- Achieving Robust Network Centric Warfare with Multi Sensor Multi Target Data Association Techniques / Kanan Bala Sahoo, Aarti Dixit -- Eco-Friendly Horn Using Radio Frequencies / Raj Motwani, Yash Arya -- Optimization of Sub-threshold Slope in Submicron MOSFET's for Switching Applications / Akhil Ulhas Masurkar, Swapnali Mahadik -- Co-design Approach for Implementation of Decryption Block of Rijndael's Algorithm Using Soft Core Processor / Pradnya G. Ramteke, Meghana Hasamnis, S.S. Limaye -- Physical Design of Two Stage Ultra Low Power, High Gain Cmos OP-AMP for Portable Device Applications / Karandeep Singh, Vishal Mehta, Mandeep Singh -- Security Issues of Online Social Networks / M.A. Devmane, N.K. Rana.
Record Nr. NYU-004390159
[International Conference on Advances in Computing, Communication, and Control (3rd : 2013 : Mumbai, India)]  
Materiale a stampa
Lo trovi qui: New York University
Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.).
Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.).
Creatore [TAMC (Conference) (10th : 2013 : Hong Kong, China)]
Estensione 1 online resource (xv, 356 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Chan, Hubert T-H.
Lau, Lap Chi.
Trevisan, Luca
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Data structures (Computer science)
Information theory
Computer software
Logic design
Theory of Computation
Mathematics of Computing
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Data Structures, Cryptology and Information Theory
Mathematical Logic and Formal Languages
ISBN 9783642382369
3642382363
9783642382352
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Computability -- complexity -- algorithms -- present current research.
Online Scheduling on a CPU-GPU Cluster / Lin Chen, Deshi Ye, Guochuan Zhang -- Throughput Maximization for Speed-Scaling with Agreeable Deadlines / Eric Angel, Evripidis Bampis, Vincent Chau -- Temperature Aware Online Algorithms for Minimizing Flow Time / Martin Birks, Stanley Fung -- Priority Queues and Sorting for Read-Only Data / Tetsuo Asano, Amr Elmasry, Jyrki Katajainen -- (1 + ε)-Distance Oracles for Vertex-Labeled Planar Graphs / Mingfei Li, Chu Chung Christopher Ma -- Group Nearest Neighbor Queries in the L 1 Plane / Hee-Kap Ahn, Sang Won Bae, Wanbin Son -- Modelling the Power Supply Network -- Hardness and Approximation / Alexandru Popa -- Approximation Algorithms for a Combined Facility Location Buy-at-Bulk Network Design Problem / Andreas Bley, S. Mehdi Hashemi -- k-means++ under Approximation Stability / Manu Agarwal, Ragesh Jaiswal, Arindam Pal -- An Exact Algorithm for TSP in Degree-3 Graphs via Circuit Procedure and Amortization on Connectivity Structure / Mingyu Xiao, Hiroshi Nagamochi.
Record Nr. NYU-004637063
[TAMC (Conference) (10th : 2013 : Hong Kong, China)]  
Materiale a stampa
Lo trovi qui: New York University
Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes / Nick Bezhanishvili, Valentin Goranko (eds.).
Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes / Nick Bezhanishvili, Valentin Goranko (eds.).
Creatore [European Summer School in Logic, Language, and Information (22nd : 2010 : Copenhagen, Denmark)]
Estensione 1 online resource (263 pages) : illustrations.
Disciplina 005.101/5113
Accesso persona Bezhanishvili, Nick
Goranko, Valentin
Accesso convegno European Summer School in Logic, Language, and Information (23rd : 2011 : Ljubljana, Slovenia)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Artificial intelligence
Logic, Symbolic and mathematical
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Discrete Mathematics in Computer Science
ISBN 9783642314858
3642314856
9783642314841
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Proof Complexity of Non-classical Logics / Olaf Beyersdorff and Oliver Kutz -- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science / Jan Broersen and Leendert van der Torre -- A Short Introduction to Implicit Computational Complexity / Ugo Dal Lago -- Strategies in Games: A Logic-Automata Study / Sujata Ghosh and R. Ramanujam -- Introduction to Judgment Aggregation / Davide Grossi and Gabriella Pigozzi -- Specification and Verification of Multi-Agent Systems / Wojciech Jamroga and Wojciech Penczek.
Record Nr. NYU-004375805
[European Summer School in Logic, Language, and Information (22nd : 2010 : Copenhagen, Denmark)]  
Materiale a stampa
Lo trovi qui: New York University
The logic of categorial grammars : a deductive account of natural language syntax and semantics / Richard Moot, Christian Retoré
The logic of categorial grammars : a deductive account of natural language syntax and semantics / Richard Moot, Christian Retoré
Creatore [Moot, Richard]
Estensione 1 online resource (xviii, 302 pages) : illustrations.
Disciplina 006.3/5
Accesso persona Retoré, Christian
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Logic, Symbolic and mathematical
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Foundations
Programming Languages, Compilers, Interpreters
ISBN 9783642315558
3642315550
9783642315541
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Classical Categorial Grammars: AB Grammars -- A Logic for Categorial Grammars: Lambek's Syntactic Calculus -- Lambek Calculus and Montague Grammar -- The Non-associative Lambek Calculus -- The Multimodal Lambek Calculus -- Lambek Calculus and Linear Logic: Proof Nets as Parse Structures -- Proof Nets for the Multimodal Lambek Calculus: From Theory to a Wide-Coverage Categorial Parser.
Record Nr. NYU-004375901
[Moot, Richard]  
Materiale a stampa
Lo trovi qui: New York University
Creating new medical ontologies for image annotation : a case study / Liana Stanescu [and others]
Creating new medical ontologies for image annotation : a case study / Liana Stanescu [and others]
Estensione 1 online resource (viii, 111 pages).
Disciplina 616.07/54
Accesso persona Stanescu, Liana
Genere/Forma Electronic books
Soggetto non controllato Engineering
Radiology, Medical
Computer software
Computer vision
Signal, Image and Speech Processing
Imaging / Radiology
Image Processing and Computer Vision
Algorithm Analysis and Problem Complexity
ISBN 9781461419099
1461419093
1461419085
9781461419082
Classificazione 44.32
44.64
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Content Based Image Retrieval in Medical Images Databases -- Medical Images Segmentation -- Ontologies -- Medical Images Annotation -- Semantic Based Image Retrieval -- Object Oriented Medical Annotation System.
Record Nr. NYU-004373154
Materiale a stampa
Lo trovi qui: New York University