WorldCat Identities

Sudan, Madhu

Overview
Works: 777 works in 1,830 publications in 2 languages and 30,531 library holdings
Genres: Conference papers and proceedings  Academic theses 
Roles: Other, Author, Editor
Classifications: QA267, 005.14015113
Publication Timeline
.
Most widely held works by Madhu Sudan
Efficient checking of polynomials and proofs and the hardness of approximation problems by Madhu Sudan( )

31 editions published between 1992 and 1996 in English and Italian and held by 541 WorldCat member libraries worldwide

This work is a fascinating piece of research in computer science: it is built on and combines deep theoretical results from various areas and, at the same time, takes into account applications to hard problems in several fields. The author provides important new foundational insights and essentially advances applicable techniques in such different areas as computational complexity, efficient (randomized) checking of proofs, programs and polynomials, approximation algorithms, NP-complete optimization, and error-detection and error-correction algorithms in coding theory
Complexity classifications of Boolean constraint satisfaction problems by Nadia Creignou( Book )

16 editions published in 2001 in English and Undetermined and held by 210 WorldCat member libraries worldwide

Publisher description: "Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated as Boolean constraint satisfaction problems (CSP). This book is devoted to the study of the complexity of such problems. The authors' goal is to develop a framework for classifying the complexity of Boolean CSP in a uniform way. In doing so, they bring out common themes underlying many concepts and results in both algorithms and complexity theory. The results and techniques presented here show that Boolean CSP provide an excellent framework for discovering and formally validating global inferences about the nature of computation. This book presents a novel and compact form of a compendium that classifies an infinite number of problems by using a rule-based approach. This enables practitioners to determine whether or not a given problem is known to be computationally intractable."
Verbal and nonverbal features of human-human and human-machine interaction : Cost Action 2102 International Conference, Patras, Greece, October 29-31, 2007, revised papers by Anna Esposito( )

5 editions published in 2008 in English and Undetermined and held by 137 WorldCat member libraries worldwide

Annotation This book constitutes the refereed proceedings of the COST 2102 International Conference on Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction, held in Patras, Greece, October 29 -31, 2007. The 21 revised full papers were carefully reviewed and selected. The papers are organized in topical sections on static and dynamic processing of faces, facial expressions and gaze as well as emotional speech synthesis and recognition
Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, revised tutorial lectures by E Börger( )

2 editions published in 2008 in English and held by 117 WorldCat member libraries worldwide

This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software Engineering, held on Lipari Island, Italy, in July 2007. It was the 19th in a well-known series of annual international schools, addressed at computer science researchers. The courses dealt with domain and requirements engineering, high-level modelling, software product line techniques, evolvable software, the evolution of service-oriented software architectures, Web services, and security in such evolving distributed systems. The nine revised full papers presented were carefully reviewed and selected by 21 reviewers. The papers are organized in topical sections on foundations and methodology, service oriented architecture and web services, software technology, and security. This book is written with the intent to produce a state-of-the-art compendium of recent advances in software engineering
Transactions on rough sets IX by James F Peters( )

3 editions published in 2008 in English and held by 117 WorldCat member libraries worldwide

Annotation The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence. This book, which constitutes the ninth volume of the Transactions on Rough Sets series, providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions of papers included in the first conference on Rough Sets and Intelligent Systems Paradigms. The 26 papers presented in this volume introduce a number of new advances in the foundations and applications of artificial intelligence, engineering, image processing, logic, mathematics, medicine, music, and science
Interactive storytelling : First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008 : proceedings by Joint International Conference on Interactive Digital Storytelling( )

2 editions published in 2008 in English and held by 116 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, held in Erfurt, Germany, in November 2008. The 19 revised full papers, 5 revised short papers, and 5 poster papers presented together with 3 invited lectures and 8 demo papers were carefully reviewed and selected from 62 submission. The papers are organized in topical sections on future perspectives on interactive digital storytelling, interactive storytelling applications, virtual characters and agents, user experience and dramatic immersion, architectures for story generation, models for drama management and interacting with stories, as well as authoring and creation of interactive narrative
Theory and practice of model transformations : second international conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings by Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C David Hutchison( )

2 editions published in 2009 in English and held by 111 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Second International Conference on Theory and Practice of Model Transformations, ICMT 2009, held at the ETH in Zurich, Switzerland, in June 2009. The 14 revised full papers and 3 revised short papers presented together with 1 invited lecture were carefully reviewed and selected from 67 submissions. The papers address questions about the nature and features of model transformations, their composability and combination to build new model transformations and implement high-level model management operations, the classification of languages for expressing transformations, the measurement of the quality and extra-functional requirements of model transformations, and the definition of development methodologies that allow exploiting all their potential benefits. The volume also contains the minutes of the GRACE International Meeting on Bidirectional Transformations, held in December 2009 near Tokyo, Japan
Progress in cryptology : INDOCRYPT 2008 : 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008 : proceedings by Dipanwita Roy Chowdhury( )

4 editions published in 2008 in English and Undetermined and held by 109 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 9th International Conference on Cryptology in India, INDOCRYPT 2008, held in Kharagpur, India, in December 2008. The 33 revised full papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on stream ciphers, cryptographic hash functions, public-key cryptography, security protocols, hardware attacks, block ciphers, cryptographic hardware, elliptic curve cryptography, and threshold cryptography
Digital watermarking : 6th international workshop, IWDW 2007, Guangzhou, China, December 3-5, 2007 : proceedings by IWDW (Atelier)( )

3 editions published in 2008 in English and held by 107 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 6th International Workshop, IWDW 2007, held in Guangzhou, China, in December 2007. The 24 revised full papers together with 3 invited papers were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on watermark security; steganalysis; authentication; reversible data hiding; robust watermarking; poster session; theory and methods in watermarking
Combinatorial pattern matching : 20th annual symposium, CPM 2009, Lille, France, June 22-24, 2009 : proceedings by Symposium on Combinatorial Pattern Matching( )

2 editions published in 2009 in English and held by 107 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 20th Annual Symposium on Combinatorial Pattern Matching, CPM 2009, held in Lille, France in June 2009. The 27 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 63 submissions. The papers address all areas related to combinatorial pattern matching and its applications, such as coding and data compression, computational biology, data mining, information retrieval, natural language processing, pattern recognition, string algorithms, string processing in databases, symbolic computing and text searching
High performance embedded architectures and compilers : fourth international conference, HiPEAC 2009, Paphos, Cyprus, January 2009 : proceedings by David Hutchison( )

3 editions published in 2009 in English and held by 106 WorldCat member libraries worldwide

Annotation This book constitutes the refereed proceedings of the Fourth International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2009, held in Paphos, Cyprus, in January 2009. The 27 revised full papers presented together with 2 invited keynote paper were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on dynamic translation and optimization, low level scheduling, parallelism and resource control, communication, mapping for CMPs, power, cache issues as well as parallel embedded applications
Visual data mining : theory, techniques and tools for visual analytics by Simeon J Simoff( )

5 editions published in 2008 in English and Undetermined and held by 105 WorldCat member libraries worldwide

Annotation The importance of visual data mining, as a strong sub-discipline of data mining, had already been recognized in the beginning of the decade. In 2005 a panel of renowned individuals met to address the shortcomings and drawbacks of the current state of visual information processing. The need for a systematic and methodological development of visual analytics was detected. This book aims at addressing this need. Through a collection of 21 contributions selected from more than 46 submissions, it offers a systematic presentation of the state of the art in the field. The volume is structured in three parts on theory and methodologies, techniques, and tools and applications
Cryptology and network security : 7th international conference, CANS 2008, Hong-Kong, China, December 2-4, 2008 ; proceedings by International Conference on Cryptology and Network Security( )

4 editions published in 2008 in English and held by 105 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 7th International Conference on Cryptology and Network Security, CANS 2008, held in Hong-Kong, China, in December 2008. The 27 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on cryptosystems, signatures, identification, authentication and key management, cryptographic algorithms and protocols, stream ciphers and block ciphers, cryptographic foundations, applications and implementations, as well as security in ad hoc networks and wireless sensor networks
Practical aspects of knowledge management : 7th international conference, PAKM 2008, Yokohama, Japan, November 22 -23, 2008, proceedings by David Hutchison( )

3 editions published in 2008 in English and held by 104 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 7th International Conference on Practical Aspects of Knowledge Management, PAKM 2008, held in Yokohama, Japan, in November 2008. The 23 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 62 submissions. All aspects of knowledge management and their role in next-generation business solutions are addressed in perspective to business and organisation sciences, cognitive science, and computer science. The papers are organized in topical sections on knowledge sharing, collaboration platforms, content-oriented retrieval, knowledge acquisition, knowledge management solutions, knowledge mining from data, text and the Web, ontology, and knowledge utilization
Computer performance evaluation and benchmarking : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009 : proceedings by David R Kaeli( )

3 editions published in 2009 in English and held by 104 WorldCat member libraries worldwide

This book constitutes the proceedings of the SPEC Benchmark Workshop 2009 held in Austin, Texas, USA on January 25th, 2009. The 9 papers presented were carefully selected and reviewed for inclusion in the book. The result is a collection of high-quality papers discussing current issues in the area of benchmarking research and technology. The topics covered are: benchmark suites, CPU benchmarking, power/thermal benchmarking, and modeling and sampling techniques
Approximation and online algorithms : 6th international workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008 : revised papers by WAOA 2008( )

2 editions published in 2009 in English and held by 102 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post workshop proceedings of the 6th International Workshop on Approximation and Online Algorithms, WAOA 2008, held in Karlsruhe, Germany, in September 2008 as part of the ALGO 2008 conference event. The 22 revised full papers presented were carefully reviewed and selected from 56 submissions. The workshop covered areas such as algorithmic game theory, approximation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, inapproximability results, mechanism design, network design, packing and covering, paradigms for design and analysis of approximation and online algorithms, randomization techniques, real-world applications, and scheduling problems
Semantic multimedia : third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008 : proceedings by International Conference on Semantic and Digital Media Technologies( )

4 editions published in 2008 in English and held by 102 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Third International Conference on Semantics and Digital Media Technologies, SAMT 2008, held in Koblenz, Germany, in December 2008. The 12 revised full papers presented together with the abstracts of 2 invited keynote lectures were carefully reviewd and selected from 52 submissions. The conference brings together forums, projects, institutions and individuals investigating the integration of knowledge, semantics and low-level multimedia processing, including new emerging media and application areas. The papers cover topics such as semantic analysis and multimedia, semantic retrieval and multimedia, semantic metadata management of multimedia, semantic user interfaces for multimedia, semantics in visualization and computer graphics, as well as applications of semantic multimedia
Advances in information and computer security : Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008, proceedings by International Workshop on Security( )

2 editions published in 2008 in English and held by 101 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Third International Workshop on Security, IWSEC 2008, held in Kagawa, Japan, in November 2008. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections on cryptography, signature and signcryption, software security, privacy protection and contents protection, authentication and access control, as well as implementation
Biometrics and identity management : first European workshop, BIOID 2008, Roskilde, Denmark, May 7-9, 2008 : revised selected papers by Ben Schouten( )

3 editions published in 2008 in English and held by 101 WorldCat member libraries worldwide

This volume constitutes the post-conference proceedings of the First European Workshop on Biometrics and Identity Management, BIOID 2008, held in Roskilde, Denmark, during May 7-9, 2008. The 23 regular papers presented were carefully selected from numerous submissions. They cover the following topics: biometric data quality; biometrical templates - face recognition; biometrical templates -- other modalities; biometric attacks and countermeasures; biometric interfaces, and standards and privacy. These papers are presented together with 4 position papers by invited speakers on biometrics and identity management
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.59 (from 0.51 for Transactio ... to 0.72 for Efficient ...)

WorldCat IdentitiesRelated Identities
Efficient checking of polynomials and proofs and the hardness of approximation problems
Covers
Complexity classifications of Boolean constraint satisfaction problemsVerbal and nonverbal features of human-human and human-machine interaction : Cost Action 2102 International Conference, Patras, Greece, October 29-31, 2007, revised papersAdvances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, revised tutorial lecturesTransactions on rough sets IXInteractive storytelling : First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008 : proceedingsTheory and practice of model transformations : second international conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedingsProgress in cryptology : INDOCRYPT 2008 : 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008 : proceedingsDigital watermarking : 6th international workshop, IWDW 2007, Guangzhou, China, December 3-5, 2007 : proceedings
Alternative Names
Madhu Sudan

Madhu Sudan Indiaas informaticus

Madhu Sudan indischer Informatiker

Madhu Sudan informaticien théorique indien

Судан, Мадху

مادو سودان

मधु सूदन

マデュ・スーダン

迈度·苏丹

Languages