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.
NETWORKING 2012 : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings. Part I / Robert Bestak [and others] (eds.).
NETWORKING 2012 : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings. Part I / Robert Bestak [and others] (eds.).
Creatore [International IFIP-TC6 Networking Conference (11th : 2012 : Prague, Czech Republic)]
Estensione 1 online resource (xxii, 437 pages).
Disciplina 004.6
Accesso persona Bešťák, Robert, 1974-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data encryption (Computer science)
Computer software
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity
Management of Computing and Information Systems
ISBN 9783642300455
3642300456
9783642300448
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Efficient User-Assisted Content Distribution over Information-Centric Network / HyunYong Lee and Akihiro Nakao -- On Inter-Domain Name Resolution for Information-Centric Networks / Konstantinos V. Katsaros, Nikos Fotiou, Xenofon Vasilakos, Christopher N. Ververidis and Christos Tsilopoulos, et al. -- Cache "Less for More" in Information-Centric Networks / Wei Koong Chai, Diliang He, Ioannis Psaras and George Pavlou -- Collaborative Forwarding and Caching in Content Centric Networks / Shuo Guo, Haiyong Xie and Guangyu Shi -- Crawling and Detecting Community Structure in Online Social Networks Using Local Information / Norbert Blenn, Christian Doerr, Bas Van Kester and Piet Van Mieghem -- Distributed Content Backup and Sharing Using Social Information / Jin Jiang and Claudio E. Casetti -- Trans-Social Networks for Distributed Processing / Nuno Apolónia, Paulo Ferreira and Luís Veiga -- Context-Sensitive Sentiment Classification of Short Colloquial Text / Norbert Blenn, Kassandra Charalampidou and Christian Doerr -- Resilience in Computer Network Management / Marcelo F. Vasconcelos and Ronaldo M. Salles -- An Experimental Study on the Impact of Network Segmentation to the Resilience of Physical Processes / Béla Genge and Christos Siaterlis -- On the Vulnerability of Hardware Hash Tables to Sophisticated Attacks / Udi Ben-Porat, Anat Bremler-Barr, Hanoch Levy and Bernhard Plattner.
Degree and Principal Eigenvectors in Complex Networks / Cong Li, Huijuan Wang and Piet Van Mieghem -- Resilient Virtual Network Design for End-to-End Cloud Services / Isil Burcu Barla, Dominic A. Schupke and Georg Carle -- Dynamic Scaling of Call-Stateful SIP Services in the Cloud / Nico Janssens, Xueli An, Koen Daenen and Claudio Forlivesi -- Remedy: Network-Aware Steady State VM Management for Data Centers / Vijay Mann, Akanksha Gupta, Partha Dutta, Anilkumar Vishnoi and Parantapa Bhattacharya, et al. -- Building a Flexible and Scalable Virtual Hardware Data Plane / Junjie Liu, Yingke Xie, Gaogang Xie, Layong Luo and Fuxing Zhang, et al. -- Permutation Routing for Increased Robustness in IP Networks / Hung Quoc Vo, Olav Lysne and Amund Kvalbein -- Routing On Demand: Toward the Energy-Aware Traffic Engineering with OSPF / Meng Shen, Hongying Liu, Ke Xu, Ning Wang and Yifeng Zhong -- Minimization of Network Power Consumption with Redundancy Elimination / Frédéric Giroire, Joanna Moulierac, Truong Khoa Phan and Frédéric Roudaut -- Sign What You Really Care about -- Secure BGP AS Paths Efficiently / Yang Xiang, Zhiliang Wang, Jianping Wu, Xingang Shi and Xia Yin -- Estimating Network Layer Subnet Characteristics via Statistical Sampling / M. Engin Tozal and Kamil Sarac -- Sparsity without the Complexity: Loss Localisation Using Tree Measurements / Vijay Arya and Darryl Veitch.
Efficient and Secure Decentralized Network Size Estimation / Nathan Evans, Bartlomiej Polot and Christian Grothoff -- A Panoramic View of 3G Data/Control-Plane Traffic: Mobile Device Perspective / Xiuqiang He, Patrick P.C. Lee, Lujia Pan, Cheng He and John C.S. Lui -- Towards a Robust Framework of Network Coordinate Systems / Linpeng Tang, Zhiyong Shen, Qunyang Lin and Junqing Xie -- BSense: A Flexible and Open-Source Broadband Mapping Framework / Giacomo Bernardi, Damon Fenacci, Mahesh K. Marina and Dimitrios P. Pezaros -- Validity of Router Responses for IP Aliases Resolution / Santiago Garcia-Jimenez, Eduardo Magaña, Mikel Izal and Daniel Morató -- Semantic Exploration of DNS / Samuel Marchal, Jérôme François, Cynthia Wagner and Thomas Engel -- On the Dynamics of Locators in LISP / Damien Saucez and Benoit Donnet -- A Local Approach to Fast Failure Recovery of LISP Ingress Tunnel Routers / Damien Saucez, Juhoon Kim, Luigi Iannone, Olivier Bonaventure and Clarence Filsfils -- An Analytical Model for the LISP Cache Size / Florin Coras, Albert Cabellos-Aparicio and Jordi Domingo-Pascual -- Path Computation in Multi-layer Multi-domain Networks / Mohamed Lamine Lamali, Hélia Pouyllau and Dominique Barth.
Record Nr. NYU-004622930
[International IFIP-TC6 Networking Conference (11th : 2012 : Prague, Czech Republic)]  
Materiale a stampa
Lo trovi qui: New York University
OpenMP in a heterogeneous world : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings / Barbara M. Chapman [and others] (eds.).
OpenMP in a heterogeneous world : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings / Barbara M. Chapman [and others] (eds.).
Creatore [IWOMP (Conference) (8th : 2012 : Rome, Italy)]
Estensione 1 online resource.
Disciplina 005.3
Accesso persona Chapman, Barbara, 1954-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer system performance
Computer software
Processor Architectures
Algorithm Analysis and Problem Complexity
System Performance and Evaluation
Programming Languages, Compilers, Interpreters
Programming Techniques
ISBN 9783642309618
3642309615
9783642309601
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Specification and Performance Evaluation of Parallel I/O Interfaces for OpenMP / Kshitij Mehta, Edgar Gabriel and Barbara Chapman -- The Design of OpenMP Thread Affinity / Alexandre E. Eichenberger, Christian Terboven, Michael Wong and Dieter an Mey -- Auto-scoping for OpenMP Tasks / Sara Royuela, Alejandro Duran, Chunhua Liao and Daniel J. Quinlan -- A Case for Including Transactions in OpenMP II: Hardware Transactional Memory / Barna L. Bihari, Michael Wong, Amy Wang, Bronis R. de Supinski and Wang Chen -- Extending OpenMP* with Vector Constructs for Modern Multicore SIMD Architectures / Michael Klemm, Alejandro Duran, Xinmin Tian, Hideki Saito and Diego Caballero, et al. -- Introducing Task Cancellation to OpenMP / Oussama Tahan, Mats Brorsson and Mohamed Shawky -- Automatic OpenMP Loop Scheduling: A Combined Compiler and Runtime Approach / Peter Thoman, Herbert Jordan, Simone Pellegrini and Thomas Fahringer -- libKOMP, an Efficient OpenMP Runtime System for Both Fork-Join and Data Flow Paradigms / François Broquedis, Thierry Gautier and Vincent Danjean.
A Compiler-Assisted Runtime-Prefetching Scheme for Heterogeneous Platforms / Li Chen, Baojiang Shou, Xionghui Hou and Lei Huang -- Experiments with WRF on Intel® Many Integrated Core (Intel MIC) Architecture / Larry Meadows -- Optimizing the Advanced Accelerator Simulation Framework Synergia Using OpenMP / Hongzhang Shan, Erich Strohmaier, James Amundson and Eric G. Stern -- Using Compiler Directives for Accelerating CFD Applications on GPUs / Haoqiang Jin, Mark Kellogg and Piyush Mehrotra -- Effects of Compiler Optimizations in OpenMP to CUDA Translation / Amit Sabne, Putt Sakdhnagool and Rudolf Eigenmann -- Assessing OpenMP Tasking Implementations on NUMA Architectures / Christian Terboven, Dirk Schmidl, Tim Cramer and Dieter an Mey -- Performance Analysis Techniques for Task-Based OpenMP Applications / Dirk Schmidl, Peter Philippen, Daniel Lorenz, Christian Rössel and Markus Geimer, et al. -- Task-Based Execution of Nested OpenMP Loops / Spiros N. Agathos, Panagiotis E. Hadjidoukas and Vassilios V. Dimakopoulos.
SPEC OMP2012 -- An Application Benchmark Suite for Parallel Systems Using OpenMP / Matthias S. Müller, John Baron, William C. Brantley, Huiyu Feng and Daniel Hackenberg, et al. -- An OpenMP 3.1 Validation Testsuite / Cheng Wang, Sunita Chandrasekaran and Barbara Chapman -- Performance Analysis of an Hybrid MPI/OpenMP ALM Software for Life Insurance Policies on Multi-core Architectures / Francesca Perla and Paolo Zanetti -- Adaptive OpenMP for Large NUMA Nodes / Aurèle Mahéo, Souad Koliaï, Patrick Carribault, Marc Pérache and William Jalby -- A Generalized Directive-Based Approach for Accelerating PDE Solvers / Francesco Salvadore -- Design of a Shared-Memory Model for CAPE / Viet Hai Ha and Éric Renault -- Overlapping Computations with Communications and I/O Explicitly Using OpenMP Based Heterogeneous Threading Models / Sadaf R. Alam, Gilles Fourestey, Brice Videau, Luigi Genovese and Stefan Goedecker, et al. -- A Microbenchmark Suite for OpenMP Tasks / J. Mark Bull, Fiona Reid and Nicola McDonnell -- Support for Thread-Level Speculation into OpenMP / Sergio Aldea, Diego R. Llanos and Arturo González-Escribano.
Record Nr. NYU-004623003
[IWOMP (Conference) (8th : 2012 : Rome, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Experimental algorithms : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings / Ralf Klasing (eds.).
Experimental algorithms : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings / Ralf Klasing (eds.).
Creatore [SEA (Symposium) (11th : 2012 : Bordeaux, France)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Klasing, Ralf
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Artificial intelligence
Algorithms
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
ISBN 9783642308505
3642308503
9783642308499
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automatic Decomposition and Branch-and-Price-A Status Report / Marco E. Lübbecke -- Continuous Local Strategies for Robotic Formation Problems / Barbara Kempkes and Friedhelm Meyer auf der Heide -- Engineering Graph Partitioning Algorithms / Vitaly Osipov, Peter Sanders and Christian Schulz -- Space Efficient Modifications to Structator- A Fast Index-Based Search Tool for RNA Sequence-Structure Patterns / Benjamin Albrecht and Volker Heun -- Implementation and Comparison of Heuristics for the Vertex Cover Problem on Huge Graphs / Eric Angel, Romain Campigotto and Christian Laforest -- How to Attack the NP-Complete Dag Realization Problem in Practice / Annabell Berger and Matthias Müller-Hannemann -- New Results about Multi-band Uncertainty in Robust Optimization / Christina Büsing and Fabio D'Andreagiovanni -- Compact Relaxations for Polynomial Programming Problems / Sonia Cafieri, Pierre Hansen, Lucas Létocart, Leo Liberti and Frédéric Messine -- Relaxations of Multilinear Convex Envelopes: Dual Is Better Than Primal / Alberto Costa and Leo Liberti -- On Computing the Diameter of Real-World Directed (Weighted) Graphs / Pierluigi Crescenzi, Roberto Grossi, Leonardo Lanzi and Andrea Marino -- Reoptimizing the Strengthened Metric TSP on Multiple Edge Weight Modifications / Annalisa D'Andrea and Guido Proietti.
Engineering a New Loop-Free Shortest Paths Routing Algorithm / Gianlorenzo D'Angelo, Mattia D'Emidio, Daniele Frigioni and Vinicio Maurizio -- Fully Dynamic Maintenance of Arc-Flags in Road Networks / Gianlorenzo D'Angelo, Mattia D'Emidio, Daniele Frigioni and Camillo Vitale -- A More Reliable Greedy Heuristic for Maximum Matchings in Sparse Random Graphs / Martin Dietzfelbinger, Hendrik Peilke and Michael Rink -- Branch Mispredictions Don't Affect Mergesort / Amr Elmasry, Jyrki Katajainen and Max Stenmark -- A Multiple Sliding Windows Approach to Speed Up String Matching Algorithms / Simone Faro and Thierry Lecroq -- Algorithms for Subnetwork Mining in Heterogeneous Networks / Guillaume Fertin, Hafedh Mohamed Babou and Irena Rusu -- Computing Strong Articulation Points and Strong Bridges in Large Scale Graphs / Donatella Firmani, Giuseppe F. Italiano, Luigi Laura, Alessio Orlandi and Federico Santaroni -- Adaptive Distributed b-Matching in Overlays with Preferences / Giorgos Georgiadis and Marina Papatriantafilou -- Dynamizing Succinct Tree Representations / Stelios Joannou and Rajeev Raman -- A Label Correcting Algorithm for the Shortest Path Problem on a Multi-modal Route Network / Dominik Kirchler, Leo Liberti and Roberto Wolfler Calvo -- Efficient Enumeration of the Directed Binary Perfect Phylogenies from Incomplete Data / Masashi Kiyomi, Yoshio Okamoto and Toshiki Saitoh.
Candidate Sets for Alternative Routes in Road Networks / Dennis Luxen and Dennis Schieferdecker -- Paired and Altruistic Kidney Donation in the UK: Algorithms and Experimentation / David F. Manlove and Gregg O'Malley -- An Evaluation of Community Detection Algorithms on Large-Scale Email Traffic / Farnaz Moradi, Tomas Olovsson and Philippas Tsigas -- Fast, Small, Simple Rank/Select on Bitmaps / Gonzalo Navarro and Eliana Providel -- Space-Efficient Top-k Document Retrieval / Gonzalo Navarro and Daniel Valenzuela -- Engineering Efficient Paging Algorithms / Gabriel Moruz, Andrei Negoescu, Christian Neumann and Volker Weichert -- Feasibility Pump Heuristics for Column Generation Approaches / Pierre Pesneau, Ruslan Sadykov and François Vanderbeck -- Exact Graph Search Algorithms for Generalized Traveling Salesman Path Problems / Michael N. Rice and Vassilis J. Tsotras -- Control Complexity in Bucklin, Fallback, and Plurality Voting: An Experimental Approach / Jörg Rothe and Lena Schend -- Advanced Coarsening Schemes for Graph Partitioning / Ilya Safro, Peter Sanders and Christian Schulz -- A Heuristic for Non-convex Variance-Based Clustering Criteria / Rodrigo F. Toso, Casimir A. Kulikowski and Ilya B. Muchnik -- A Decomposition Approach for Solving Critical Clique Detection Problems / Jose L. Walteros and Panos M. Pardalos.
Record Nr. NYU-004623038
[SEA (Symposium) (11th : 2012 : Bordeaux, France)]  
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-004623079
[SPICE 2012 (2012 : Palma de Mallorca, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Formal modeling and analysis of timed systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / Marcin Jurdziński, Dejan Ničković (eds.).
Formal modeling and analysis of timed systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / Marcin Jurdziński, Dejan Ničković (eds.).
Creatore [FORMATS (Conference) (10th : 2012 : London, England)]
Estensione 1 online resource : illustrations (chiefly color).
Disciplina 003/.3
Accesso persona Jurdziński, Marcin
Ničković, Dejan
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Logic design
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Programming Techniques
Algorithm Analysis and Problem Complexity
ISBN 9783642333651
3642333656
9783642333644
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems (Extended Abstract) / Twan Basten, Martijn Hendriks, Lou Somers and Nikola Trčka -- Statistical Model Checking, Refinement Checking, Optimization ... for Stochastic Hybrid Systems / Kim G. Larsen -- Robustness of Time Petri Nets under Architectural Constraints / S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime and Olivier H. Roux -- Toward a Timed Theory of Channel Coding / Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre and Dominique Perrin -- Playing Optimally on Timed Automata with Random Delays / Nathalie Bertrand and Sven Schewe -- Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems / Rebekah Carter and Eva M. Navarro-López -- Revisiting Timed Specification Theories: A Linear-Time Perspective / Chris Chilton, Marta Kwiatkowska and Xu Wang -- Multi-core Reachability for Timed Automata / Andreas E. Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen and Jaco van de Pol -- Counterexample-Guided Synthesis of Observation Predicates / Rayna Dimitrova and Bernd Finkbeiner -- Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems / Christian Ellen, Sebastian Gerwinn and Martin Fränzle -- Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition / Hamed Ghasemieh, Anne Remke, Boudewijn Haverkort and Marco Gribaudo -- Reducing Quasi-Equal Clocks in Networks of Timed Automata / Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muñiz and Andreas Podelski -- SMT-Based Induction Methods for Timed Systems / Roland Kindermann, Tommi Junttila and Ilkka Niemelä -- Timed Automata with Disjoint Activity / Marco Muñiz, Bernd Westphal and Andreas Podelski -- The Complexity of Bounded Synthesis for Timed Control with Partial Observability / Hans-Jörg Peter and Bernd Finkbeiner -- Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics / Jonas Rinast and Sibylle Schupp -- Frequencies in Forgetful Timed Automata / Amélie Stainer -- Mcta: Heuristics and Search for Timed Systems / Martin Wehrle and Sebastian Kupferschmid.
Record Nr. NYU-004624529
[FORMATS (Conference) (10th : 2012 : London, England)]  
Materiale a stampa
Lo trovi qui: New York University
Language Processing and Intelligent Information Systems : 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings / Mieczysław A. Kłopotek, Jacek Koronacki, Małgorzata Marciniak, Agnieszka Mykowiecka, Sławomir T. Wierzchoń (eds.).
Language Processing and Intelligent Information Systems : 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings / Mieczysław A. Kłopotek, Jacek Koronacki, Małgorzata Marciniak, Agnieszka Mykowiecka, Sławomir T. Wierzchoń (eds.).
Creatore [Information and Intelligent Systems (Conference) (20th : 2013 : Warsaw, Poland)]
Estensione 1 online resource.
Disciplina 006.3/5
Accesso persona Kłopotek, Mieczysław, editor
Koronacki, Jacek, editor
Marciniak, Małgorzata, editor
Mykowiecka, Agnieszka, editor
Wierzchoń, Sławomir T., editor.
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Computer network architectures
Computer software
Information storage and retrieval systems
Artificial intelligence
Computer Systems Organization and Communication Networks
Information Systems and Communication Service
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity
ISBN 9783642386343
3642386342
9783642386336
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Natural Language Processing. A Hybrid Approach for Robust Multilingual Toponym Extraction and Disambiguation / Mena B. Habib, Maurice van Keulen -- Towards a Polish LTAG Grammar / Katarzyna Krasnowska -- Incorporating Head Recognition into a CRF Chunker / Adam Radziszewski, Adam Pawlaczek -- Classification of Predicate-Argument Relations in Polish Data / Adam Radziszewski, Paweł Orłowicz, Bartosz Broda -- Online Service for Polish Dependency Parsing and Results Visualisation / Alina Wróblewska, Piotr Sikora -- The Scent of Deception: Recognizing Fake Perfume Reviews in Polish / Maciej Rubikowski, Aleksander Wawer -- Question Classification for Polish Question Answering / Piotr Przybyła -- Chinese Named Entity Recognition with Conditional Random Fields in the Light of Chinese Characteristics / Aaron L.-F. Han, Derek F. Wong, Lidia S. Chao -- Detecting Syntactic Errors in Dependency Treebanks for Morphosyntactically Rich Languages / Katarzyna Krasnowska, Adam Przepiórkowski -- A Method for the Computational Representation of Croatian Morphology / Vanja Štefanec, Matea Srebačić, Krešimir Šojat -- Mapping Named Entities from NKJP Corpus to Składnica Treebank and Polish Wordnet / Elżbieta Hajnicz -- Automatic Detection of Annotation Errors in Polish-Language Corpora / Łukasz Kobyliński -- Unsupervised Induction of Persian Semantic Verb Classes Based on Syntactic Information / Maryam Aminian, Mohammad Sadegh Rasooli, Hossein Sameti -- Translation- and Projection-Based Unsupervised Coreference Resolution for Polish / Maciej Ogrodniczuk -- WCCL Match -- A Language for Text Annotation / Michał Marcińczuk, Adam Radziszewski -- Diachronic Corpus Based Word Semantic Variation and Change Mining / Xiaojun Zou, Ni Sun, Hua Zhang, Junfeng Hu -- A Representation of an Old Polish Dictionary Designed for Practical Applications / Jakub Waszczuk.^
Text and Web Mining. Related Entity Finding Using Semantic Clustering Based on Wikipedia Categories / Georgios Stratogiannis, Georgios Siolas, Andreas Stafylopatis -- Locality Sensitive Hashing for Similarity Search Using MapReduce on Large Scale Data / Radosław Szmit -- Stabilization of Users Profiling Processed by Metaclustering of Web Pages / Michał Dramiński, Błażej Owczarczyk, Krzysztof Trojanowski, Dariusz Czerski -- Towards a Keyword-Focused Web Crawler / Tomasz Kuśmierczyk, Marcin Sydow -- Threshold ML-KNN: Statistical Evaluation on Multiple Benchmarks / Michał Łukasik, Marcin Sydow -- Supervised Content Visualization of Scientific Publications: A Case Study on the ArXiv Dataset / Theodoros Giannakopoulos, Harry Dimitropoulos, Omiros Metaxas, Natalia Manola -- A Calculus for Personalized PageRank / Mieczysław A. Kłopotek, Sławomir T. Wierzchoń, Dariusz Czerski, Krzysztof Ciesielski -- Machine Learning and Search -- Finding the Number of Clusters on the Basis of Eigenvectors / Małgorzata Lucińska, Sławomir T. Wierzchoń -- Study on the Estimation of the Bipartite Graph Generator Parameters / Robert A. Kłopotek -- Expected Value of the Optimization Algorithm Outcome / Krzysztof Trojanowski, Marcin Janiszewski -- Solving Travelling Salesman Problem Using Egyptian Vulture Optimization Algorithm -- A New Approach / Chiranjib Sur, Sanjeev Sharma, Anupam Shukla.
Record Nr. NYU-004639012
[Information and Intelligent Systems (Conference) (20th : 2013 : Warsaw, Poland)]  
Materiale a stampa
Lo trovi qui: New York University
Latent variable analysis and signal separation : 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings / Fabian Theis [and others] (eds.).
Latent variable analysis and signal separation : 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings / Fabian Theis [and others] (eds.).
Creatore [LVA/ICA 2012 (2012 : Tel Aviv, Israel)]
Estensione 1 online resource (xvi, 538 pages) : illustrations.
Disciplina 621.382/2
Accesso persona Theis, Fabian J.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Computational complexity
Computer simulation
Computer vision
Optical pattern recognition
Pattern Recognition
Image Processing and Computer Vision
Simulation and Modeling
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Special Purpose and Application-Based Systems
ISBN 9783642285516
3642285511
9783642285509
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Block Component Analysis, a New Concept for Blind Source Separation -- Partially Linear Estimation with Application to Image Deblurring Using Blurred/Noisy Image Pairs -- Causal Discovery for Linear Non-Gaussian Acyclic Models in the Presence of Latent Gaussian Confounders -- Alleviating the Influence of Weak Data Asymmetries on Granger-Causal Analyses -- Online PLCA for Real-Time Semi-supervised Source Separation -- Cramér-Rao Bound for Circular Complex Independent Component Analysis -- Complex Non-Orthogonal Joint Diagonalization Based on LU and LQ Decompositions -- Exact and Approximate Quantum Independent Component Analysis for Qubit Uncoupling -- A Matrix Joint Diagonalization Approach for Complex Independent Vector Analysis -- Algebraic Solutions to Complex Blind Source Separation -- On the Separation Performance of the Strong Uncorrelating Transformation When Applied to Generalized Covariance and Pseudo-covariance Matrices -- A Canonical Correlation Analysis Based Method for Improving BSS of Two Related Data Sets -- A Probability-Based Combination Method for Unsupervised Clustering with Application to Blind Source Separation -- Charrelation Matrix Based ICA -- Contrast Functions for Independent Subspace Analysis -- Distributional Convergence of Subspace Estimates in FastICA: A Bootstrap Study -- New Online EM Algorithms for General Hidden Markov Models. Application to the SLAM Problem -- The Role of Whitening for Separation of Synchronous Sources -- Simultaneous Diagonalization of Skew-Symmetric Matrices in the Symplectic Group.
Joint Block Diagonalization Algorithms for Optimal Separation of Multidimensional Components -- On Computation of Approximate Joint Block-Diagonalization Using Ordinary AJD -- Joint Diagonalization of Several Scatter Matrices for ICA -- To Infinity and Beyond: On ICA over Hilbert Spaces -- Regularized Sparse Representation for Spectrometric Pulse Separation and Counting Rate Estimation -- Some Uniqueness Results in Sparse Convolutive Source Separation -- Ternary Sparse Coding -- Closed-Form EM for Sparse Coding and Its Application to Source Separation -- Convolutive Underdetermined Source Separation through Weighted Interleaved ICA and Spatio-temporal Source Correlation -- Dictionary Learning with Large Step Gradient Descent for Sparse Representations -- Separation of Sparse Signals in Overdetermined Linear-Quadratic Mixtures -- Collaborative Filtering via Group-Structured Dictionary Learning -- Group Polytope Faces Pursuit for Recovery of Block-Sparse Signals -- Nonnegative Matrix Factorization via Generalized Product Rule and Its Application for Classification -- An Algebraic Method for Approximate Rank One Factorization of Rank Deficient Matrices -- Bayesian Non-negative Matrix Factorization with Learned Temporal Smoothness Priors -- On Connection between the Convolutive and Ordinary Nonnegative Matrix Factorizations -- On Revealing Replicating Structures in Multiway Data: A Novel Tensor Decomposition Approach -- An On-Line NMF Model for Temporal Pattern Learning: Theory with Application to Automatic Speech Recognition -- Low-Latency Instrument Separation in Polyphonic Audio Using Timbre Models.
Real-Time Speech Separation by Semi-supervised Nonnegative Matrix Factorization -- An Audio-Video Based IVA Algorithm for Source Separation and Evaluation on the AV16.3 Corpus -- Non-negative Matrix Factorization Based Noise Reduction for Noise Robust Automatic Speech Recognition -- Audio Imputation Using the Non-negative Hidden Markov Model -- A Non-negative Approach to Language Informed Speech Separation -- Temporally-Constrained Convolutive Probabilistic Latent Component Analysis for Multi-pitch Detection -- A Latently Constrained Mixture Model for Audio Source Separation and Localization -- Multiple Instrument Mixtures Source Separation Evaluation Using Instrument-Dependent NMF Models -- Complex Extension of Infinite Sparse Factor Analysis for Blind Speech Separation -- A General Framework for Online Audio Source Separation -- Sound Recognition in Mixtures -- The 2011 Signal Separation Evaluation Campaign (SiSEC2011): -- Audio Source Separation -- -- The 2011 Signal Separation Evaluation Campaign (SiSEC2011): -- Biomedical Data Analysis -- -- Improved Perceptual Metrics for the Evaluation of Audio Source Separation -- Musical Audio Source Separation Based on User-Selected F0 Track -- A GMM Sound Source Model for Blind Speech Separation in Under-determined Conditions -- Model-Driven Speech Enhancement for Multisource Reverberant Environment (Signal Separation Evaluation Campaign (SiSEC) 2011) -- Semi-blind Source Separation Based on ICA and Overlapped Speech Detection -- Nonparametric Modelling of ECG: Applications to Denoising and to Single Sensor Fetal ECG Extraction -- Nesterov's Iterations for NMF-Based Supervised Classification of Texture Patterns -- Detection of Aliasing in Image Sequences Using Nonlinear Factor Analysis -- Geometrical Method Using Simplicial Cones for Overdetermined Nonnegative Blind Source Separation: Application to Real PET Images -- Multi- domain Feature of Event-Related Potential Extracted by Nonnegative Tensor Factorization: 5 vs. 14 Electrodes EEG Data -- The Use of Linear Feature Projection for Precipitation Classification Using Measurements from Commercial Microwave Links -- Bayesian Inference of Latent Causes in Gene Regulatory Dynamics -- Bayesian Fuzzy Clustering of Colored Graphs.
Record Nr. NYU-004621663
[LVA/ICA 2012 (2012 : Tel Aviv, Israel)]  
Materiale a stampa
Lo trovi qui: New York University
Analytical and Stochastic Modelling Techniques and Applications : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings / Alexander Dudin, Koen de Turck (eds.).
Analytical and Stochastic Modelling Techniques and Applications : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings / Alexander Dudin, Koen de Turck (eds.).
Creatore [ASMTA (Conference) (20th : 2013 : Ghent, Belgium)]
Estensione 1 online resource.
Disciplina 519.2/3
Accesso persona Dudin, Alexander
Turck, Koen de.
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Computer Communication Networks
Computer system performance
Software engineering
Computer software
System Performance and Evaluation
Information Systems Applications (incl. Internet)
Probability and Statistics in Computer Science
Algorithm Analysis and Problem Complexity
ISBN 9783642394089
3642394086
3642394078
9783642394072
Classificazione 54.79
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Taylor Series Expansions for Performance Functions of Queues: Sensitivity Analysis / Sofiane Ouazine, Karim Abbas -- Admission Control to an M/M/1 Queue with Partial Information / Eitan Altman, Tania Jiménez -- Approximate Transient Analysis of Queuing Networks by Quasi Product Forms / Alessio Angius, András Horváth, Verena Wolf -- Average Delay Estimation in Discrete-Time Systems with Periodically Varying Parameters / Evgeny Bakin, Sergey Andreev, Anna Solovyeva -- Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets / Simonetta Balsamo, Gian-Luca Dei Rossi -- Discriminatory Processor Sharing from Optimization Point of View / Jozsef Biro, Tamás Bérczes, Attila Kő̈rösi -- A Central Limit Theorem for Markov-Modulated Infinite-Server Queues / Joke Blom, Koen De Turck, Michel Mandjes -- Transformation of Acyclic Phase Type Distributions for Correlation Fitting / Peter Buchholz, Iryna Felko, Jan Kriege -- Studying Mobile Internet Technologies with Agent Based Mean-Field Models / Marco Gribaudo, Daniele Manini -- iSWoM: The Incremental Storage Workload Model Based on Hidden Markov Models / Tiberiu Chis, Peter G. Harrison.
Maximizing the Probability of Arriving on Time / Ananya Christman, Joao Cassamano -- Optimal Inventory Management in a Fluctuating Market / Eline De Cuypere, Koen De Turck -- Efficient Evaluation of Out-Patient Scheduling with Unpunctuality / Dieter Fiems, Stijn De Vuyst -- Interconnection of Large Scale Unstructured P2P Networks: Modeling and Analysis / Vincenzo Ciancaglini, Rossano Gaeta -- Energy-Efficient Operation of a Mobile User in a Multi-tier Cellular Network / Olga Galinina, Alexey Trushanin -- Journey Data Based Arrival Forecasting for Bicycle Hire Schemes / Marcel C. Guenther, Jeremy T. Bradley -- Moment Matching-Based Distribution Fitting with Generalized Hyper-Erlang Distributions / Gábor Horváth -- Output Process in Batch-Arrival Queue with N-Policy and Multiple Vacations / Wojciech M. Kempa -- Retrial Queueing System with Correlated Input, Finite Buffer, and Impatient Customers / Che Soong Kim, Valentina Klimenok -- Representation Transformations for Finding Markovian Representations / András Mészáros, Gábor Horváth, Miklós Telek -- Unbiased Simultaneous Prediction Limits on Observations in Future Samples / Nicholas Nechval, Konstantin Nechval.
Adaptive Stochastic Airline Seat Inventory Control under Parametric Uncertainty / Nicholas Nechval, Maris Purgailis -- A Parametric Copula Approach for Modelling Shortest-Path Trees in Telecommunication Networks / David Neuhäuser, Christian Hirsch -- Performance Modelling of Concurrency Control Schemes for Relational Databases / Rasha Osman, David Coulden -- Modeling and Simulation of Mobility of Crowds / Sushma Patil, Eitan Altman -- The Age of Information in Gossip Networks / Jori Selen, Yoni Nazarathy -- Efficient Steady State Analysis of Multimodal Markov Chains / David Spieler -- A Tight Bound on the Throughput of Queueing Networks with Blocking / Jean-Sébastien Tancrez, Philippe Chevalier -- Semi-Product-Form Solution for PEPA Models with Functional Rates / Nigel Thomas, Peter G. Harrison -- Trading Off Subtask Dispersion and Response Time in Split-Merge Systems / Iryna Tsimashenka, William J. Knottenbelt -- The Discrete-Time Queue with Geometrically Distributed Service Capacities Revisited / Joris Walraevens, Herwig Bruneel -- Resource Allocation in a Multiple-Priority Buffered Link / Piotr Żuraniewski, Michel Mandjes.
Complex systems -- computer and information systems -- communication systems and networks -- wireless and mobile systems and networks -- peer-to-peer application and services -- embedded systems and sensor networks -- workload modeling and characterization -- road traffic and transportation -- social networks -- measurements and hybrid techniques -- modeling of virtualization -- energy-aware optimization -- stochastic modeling for systems biology -- biologically inspired network design.
Record Nr. NYU-004639190
[ASMTA (Conference) (20th : 2013 : Ghent, Belgium)]  
Materiale a stampa
Lo trovi qui: New York University
Passive and active measurement : 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings / Nina Taft, Fabio Ricciato (eds.).
Passive and active measurement : 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings / Nina Taft, Fabio Ricciato (eds.).
Creatore [PAM (Conference) (13th : 2012 : Vienna, Austria)]
Estensione 1 online resource (xi, 264 pages).
Disciplina 004.6
Accesso persona Taft, Nina
Ricciato, Fabio
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Information Systems
Computers and Society
Management of Computing and Information Systems
Algorithm Analysis and Problem Complexity
ISBN 9783642285370
3642285376
3642285368
9783642285363
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Unmasking the Growing UDP Traffic in a Campus Network / Changhyun Lee, D K Lee and Sue Moon -- Investigating IPv6 Traffic / What Happened at the World IPv6 Day? / Nadi Sarrar, Gregor Maier, Bernhard Ager, Robin Sommer and Steve Uhlig -- An End-Host View on Local Traffic at Home and Work / Ahlem Reggani, Fabian Schneider and Renata Teixeira -- Comparison of User Traffic Characteristics on Mobile-Access versus Fixed-Access Networks / Mikko V.J. Heikkinen and Arthur W. Berger -- BackStreamDB: A Distributed System for Backbone Traffic Monitoring Providing Arbitrary Measurements in Real-Time / Christian Lyra, Carmem S. Hara and Elias P. Duarte -- A Sequence-Oriented Stream Warehouse Paradigm for Network Monitoring Applications / Lukasz Golab, Theodore Johnson, Subhabrata Sen and Jennifer Yates -- On Multi-gigabit Packet Capturing with Multi-core Commodity Hardware / Nicola Bonelli, Andrea Di Pietro, Stefano Giordano and Gregorio Procissi -- SyFi: A Systematic Approach for Estimating Stateful Firewall Performance / Yordanos Beyene, Michalis Faloutsos and Harsha V. Madhyastha -- OFLOPS: An Open Framework for OpenFlow Switch Evaluation / Charalampos Rotsos, Nadi Sarrar, Steve Uhlig, Rob Sherwood and Andrew W. Moore -- Probe and Pray: Using UPnP for Home Network Measurements / Lucas DiCioccio, Renata Teixeira, Martin May and Christian Kreibich -- Detecting Pedophile Activity in BitTorrent Networks / Moshe Rutgaizer, Yuval Shavitt, Omer Vertman and Noa Zilberman -- Re-wiring Activity of Malicious Networks / Maria Konte and Nick Feamster.
Difficulties in Modeling SCADA Traffic: A Comparative Analysis / Rafael R.R. Barbosa, Ramin Sadre and Aiko Pras -- Characterizing Delays in Norwegian 3G Networks / Ahmed Elmokashfi, Amund Kvalbein, Jie Xiang and Kristian R. Evensen -- On 60 GHz Wireless Link Performance in Indoor Environments / Xiaozheng Tie, Kishore Ramachandran and Rajesh Mahindra -- Geolocating IP Addresses in Cellular Data Networks / Sipat Triukose, Sebastien Ardon, Anirban Mahanti and Aaditeshwar Seth -- Speed Measurements of Residential Internet Access / Oana Goga and Renata Teixeira -- One-Way Traffic Monitoring with iatmon / Nevil Brownlee -- A Hands-on Look at Active Probing Using the IP Prespecified Timestamp Option / Walter de Donato, Pietro Marchetta and Antonio Pescapé -- Exposing a Nation-Centric View on the German Internet -- A Change in Perspective on AS-Level / Matthias Wählisch, Thomas C. Schmidt, Markus de Brün and Thomas Häberlen -- Behavior of DNS' Top Talkers, a .com/.net View / Eric Osterweil, Danny McPherson, Steve DiBenedetto, Christos Papadopoulos and Dan Massey -- The BIZ Top-Level Domain: Ten Years Later / Tristan Halvorson, Janos Szurdi, Gregor Maier, Mark Felegyhazi and Christian Kreibich, et al. -- Xunlei: Peer-Assisted Download Acceleration on a Massive Scale / Prithula Dhungel, Keith W. Ross, Moritz Steiner, Ye Tian and Xiaojun Hei -- Pitfalls in HTTP Traffic Measurements and Analysis / Fabian Schneider, Bernhard Ager, Gregor Maier, Anja Feldmann and Steve Uhlig -- A Longitudinal Characterization of Local and Global BitTorrent Workload Dynamics / Niklas Carlsson, György Dán, Anirban Mahanti and Martin Arlitt.
Record Nr. NYU-004622025
[PAM (Conference) (13th : 2012 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: New York University
Intelligent information and database systems : 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings. Part II / Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen (eds.).
Intelligent information and database systems : 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings. Part II / Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen (eds.).
Creatore [Asian Conference on Intelligent Information and Database Systems (4th : 2012 : Kao-hsiung, Taiwan)]
Estensione 1 online resource (xx, 575 pages).
Disciplina 006.3
Accesso persona Pan, Jeng-Shyang
Chen, Shyi-Ming
Nguyen, Ngoc Thanh (Computer scientist)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Database management
Data mining
Artificial intelligence
Data Mining and Knowledge Discovery
Information Systems Applications (incl. Internet)
User Interfaces and Human Computer Interaction
Algorithm Analysis and Problem Complexity
ISBN 9783642284908
3642284906
9783642284892
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Approach to Image Segmentation Based on Interval Type-2 Fuzzy Subtractive Clustering / Long Thanh Ngo and Binh Huy Pham -- Improving Nearest Neighbor Classification by Elimination of Noisy Irrelevant Features / M. Javad Zomorodian, Ali Adeli, Mehrnoosh Sinaee and Sattar Hashemi -- Lattice Based Associative Classifier / Naveen Kumar, Anamika Gupta and Vasudha Bhatnagar -- An Efficient Clustering Algorithm Based on Histogram Threshold / Shu-Ling Shieh, Tsu-Chun Lin and Yu-Chin Szu -- A Resource Reuse Method in Cluster Sensor Networks in Ad Hoc Networks / Mary Wu, InTaek Leem, Jason J. Jung and ChongGun Kim -- Generation of Tag-Based User Profiles for Clustering Users in a Social Music Site / Hyon Hee Kim, Jinnam Jo and Donggeon Kim -- A Proposed IPC-Based Clustering and Applied to Technology Strategy Formulation / Tzu-Fu Chiu, Chao-Fu Hong and Yu-Ting Chiu -- Cluster Control Management as Cluster Middleware / Rajermani Thinakaran and Elankovan Sundararajan -- A Novel Nonparametric Approach for Saliency Detection Using Multiple Features / Xin He, Huiyun Jing, Qi Han and Xiamu Niu -- Motion Vector Based Information Hiding Algorithm for H.264/AVC against Motion Vector Steganalysis / Huiyun Jing, Xin He, Qi Han and Xiamu Niu -- A Novel Coding Method for Multiple System Barcode Based on QR Code / Xiamu Niu, Zhongwei Shuai, Yongqiang Lin and Xuehu Yan -- A Research on Behavior of Sleepy Lizards Based on KNN Algorithm / Xiaolv Guo, Shu-Chuan Chu, Lin-Lin Tang, John F. Roddick and Jeng-Shyang Pan.
Directional Discriminant Analysis Based on Nearest Feature Line / Lijun Yan, Shu-Chuan Chu, John F. Roddick and Jeng-Shyang Pan -- A (2, 2) Secret Sharing Scheme Based on Hamming Code and AMBTC / Cheonshik Kim, Dongkyoo Shin, Dongil Shin and Ching-Nung Yang -- An Automatic Image Inpainting Method for Rigid Moving Object / Jen-Chi Huang and Wen-Shyong Hsieh -- Automatic Image Matting Using Component-Hue-Difference-Based Spectral Matting / Wu-Chih Hu and Jung-Fu Hsu -- Towards Robotics Leadership: An Analysis of Leadership Characteristics and the Roles Robots Will Inherit in Future Human Society / Hooman Aghaebrahimi Samani, Jeffrey Tzu Kwan Valino Koh, Elham Saadatian and Doros Polydorou -- Understanding Information Propagation on Online Social Tagging Systems: A Case Study on Flickr / Meinu Quan, Xuan Hau Pham, Jason J. Jung and Dosam Hwang -- Why People Share Information in Social Network Sites? Integrating with Uses and Gratification and Social Identity Theories / Namho Chung, Chulmo Koo and Seung-Bae Park -- The Impact of Data Environment and Profitability on Business Intelligence Adoption / Chien-wen Shen, Ping-Yu Hsu and Yen-Ting Peng -- The Relationships between Information Technology, E-Commerce, and E-Finance in the Financial Institutions: Evidence from the Insurance Industry / Hong-Jen Lin, Min-Ming Wen and Winston T. Lin -- Applying Data Mining in Money Laundering Detection for the Vietnamese Banking Industry / Dang Khoa Cao and Phuc Do -- A Web Services Based Solution for Online Loan Management via Smartphone / Théophile K. Dagba, Ercias Lohounmè and Ange Nambila.
An Approach to CT Stomach Image Segmentation Using Modified Level Set Method / Hersh J. Parmar and S. Ramakrishnan -- On Fastest Optimal Parity Assignments in Palette Images / Phan Trung Huy, Nguyen Hai Thanh, Tran Manh Thang and Nguyen Tien Dat -- Setting Shape Rules for Handprinted Character Recognition / Daw-Ran Liou, Chia-Ching Lin and Cheng-Yuan Liou -- A Block-Based Orthogonal Locality Preserving Projection Method for Face Super-Resolution / Shwu-Huey Yen, Che-Ming Wu and Hung-Zhi Wang -- Note Symbol Recognition for Music Scores / Xiaoxiang Liu -- Network Vulnerability Analysis Using Text Mining / Chungang Liu, Jianhua Li and Xiuzhen Chen -- Intelligent Information System for Interpretation of Dermatoglyphic Patterns of Down's Syndrome in Infants / Hubert Wojtowicz and Wieslaw Wajs -- Using a Neural Network to Generate a FIR Filter to Improves Digital Images Using a Discrete Convolution Operation / Jakub Pęksiński and Grzegorz Mikołajczak -- Hybrid Genetic Simulated Annealing Algorithm (HGSAA) to Solve Storage Container Problem in Port / Riadh Moussi, Ndèye Fatma Ndiaye and Adnan Yassine -- Satellite Payload Reconfiguration Optimisation: An ILP Model / Apostolos Stathakis, Grégoire Danoy, Pascal Bouvry and Gianluigi Morelli -- DC Programming and DCA for Large-Scale Two-Dimensional Packing Problems / Babacar Mbaye Ndiaye, Le Thi Hoai An, Pham Dinh Tao and Yi Shuai Niu -- Gaussian Kernel Minimum Sum-of-Squares Clustering and Solution Method Based on DCA / Le Hoai Minh, Le Thi Hoai An and Pham Dinh Tao.
DB Schema Based Ontology Construction for Efficient RDB Query / Hyun Jung Lee and Mye Sohn -- RF-PCA2: An Improvement on Robust Fuzzy PCA / Gyeongyong Heo, Kwang-Baek Kim, Young Woon Woo and Seong Hoon Kim -- Structures of Association Rule Set / Anh Tran, Tin Truong and Bac Le -- Database Integrity Mechanism between OLTP and Offline Data / Muhammad Salman, Nafees Ur Rehman and Muhammad Shahid -- Novel Criterion to Evaluate QoS of Localization Based Services / Juraj Machaj, Peter Brida and Norbert Majer -- Proposal of User Adaptive Modular Localization System for Ubiquitous Positioning / Jozef Benikovsky, Peter Brida and Juraj Machaj -- User Adaptivity in Smart Workplaces / Peter Mikulecky -- Adaptive Graphical User Interface Solution for Modern User Devices / Miroslav Behan and Ondrej Krejcar -- Visualizing Human Genes on Manifolds Embedded in Three-Dimensional Space / Wei-Chen Cheng -- Two-Step Analysis of the Fetal Heart Rate Signal as a Predictor of Distress / Robert Czabanski, Janusz Wrobel, Janusz Jezewski and Michal Jezewski -- Bio-inspired Genetic Algorithms on FPGA Evolvable Hardware / Vladimir Kasik, Marek Penhaker, Vilem Novak, Radka Pustkova and Frantisek Kutalek -- Influence of the Number and Pattern of Geometrical Entities in the Image upon PNG Format Image Size / Jiří Horák, Jan Růžička, Jan Novák, Jiří Ardielli and Daniela Szturcová -- Threading Possibilities of Smart Devices Platforms for Future User Adaptive Systems / Ondrej Krejcar.
Content Based Human Retinal Image Retrieval Using Vascular Feature Extraction / J. Sivakamasundari, G. Kavitha, V. Natarajan and S. Ramakrishnan -- Potential Topics Discovery from Topic Frequency Transition with Semi-supervised Learning / Yoshiaki Yasumura, Hiroyoshi Takahashi and Kuniaki Uehara -- Heuristic Energy-Efficient Routing Solutions to Extend the Lifetime of Wireless Ad-Hoc Sensor Networks / Nguyen Thanh Tung -- Formal Agent-Oriented Ubiquitous Computing: A Computational Intelligence Support for Information and Services Integration / Phan Cong Vinh -- Prediction of Rainfall Time Series Using Modular RBF Neural Network Model Coupled with SSA and PLS / Jiansheng Wu -- Heuristic Algorithms for Solving Survivability Problem in the Design of Last Mile Communication Networks / Vo Khanh Trung, Nguyen Thi Minh and Huynh Thi Thanh Binh -- HEp-2 Cell Images Classification Based on Textural and Statistic Features Using Self-Organizing Map / Yi-Chu Huang, Tsu-Yi Hsieh, Chin-Yuan Chang, Wei-Ta Cheng and Yu-Chih Lin, et al. -- Identifying Smuggling Vessels with Artificial Neural Network and Logistics Regression in Criminal Intelligence Using Vessels Smuggling Case Data / Chih-Hao Wen, Ping-Yu Hsu, Chung-yung Wang and Tai-Long Wu -- Replication Techniques in Data Grid Environments / Noriyani Mohd. Zin, A. Noraziah, Ainul Azila Che Fauzi and Tutut Herawan -- On Cloud Computing Security Issues / Ainul Azila Che Fauzi, A. Noraziah, Tutut Herawan and Noriyani Mohd. Zin.
Record Nr. NYU-004622109
[Asian Conference on Intelligent Information and Database Systems (4th : 2012 : Kao-hsiung, Taiwan)]  
Materiale a stampa
Lo trovi qui: New York University