skip to content

Vardi, Moshe Y.

Overview
Works: 619 works in 1,130 publications in 1 language and 19,574 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Creator
Classifications: TA1637, 006.42
Publication Timeline
Key
Publications about Moshe Y Vardi
Publications by Moshe Y Vardi
Most widely held works by Moshe Y Vardi
Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings by Doron A Peled( Book )
11 editions published in 2002 in English and held by 311 libraries worldwide
This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems
Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings by Moshe Y Vardi( Book )
13 editions published in 2003 in English and held by 299 libraries worldwide
This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003. The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction
Database theory--ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11-13, 1995 : proceedings by G Gottlob( Book )
14 editions published in 1995 in English and held by 287 libraries worldwide
"This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995. Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total of 116 submissions. The papers address all current aspects of database theory; they are organized in sections on optimization, nonmonotonic semantics, query languages, concurrency control, advanced models, probabilistic methods, constraints and dependencies, and Datalog analysis."--PUBLISHER'S WEBSITE
Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings by Alan J Hu( Book )
8 editions published in 1998 in English and held by 280 libraries worldwide
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice
Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California by Conference on Theoretical Aspects of Reasoning about Knowledge( Book )
11 editions published between 1988 and 1989 in English and held by 193 libraries worldwide
Computer Vision - ECCV 2008 by David Forsyth( file )
8 editions published in 2008 in English and held by 109 libraries worldwide
Annotation The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008.The 243 revised papers presented were carefully reviewed and selected from a total of 871 papers submitted. The four books cover the entire range of current issues in computer vision. The papers are organized in topical sections on recognition, stereo, people and face recognition, object tracking, matching, learning and features, MRFs, segmentation, computational photography and active reconstruction
Visual data mining theory, techniques and tools for visual analytics by Simeon J Simoff( file )
3 editions published in 2008 in English and held by 85 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
Software process and product measurement international conference, IWSM--Mensura 2007, Palma De Mallorca, Spain, November 5-8, 2007, revised papers by D Hutchison( file )
3 editions published in 2008 in English and held by 83 libraries worldwide
Annotation This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Software Measurement, IWSM-Mensura 2007, held in Palma de Mallorca, Spain, in November 2007.The 16 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers deal with aspects of software measurement like function-points measurement, effort and cost estimates, prediction, industrial experiences in software measurement, planning and implementing measurement, measurement-based software process improvement, best practices in software measurement, usability and user interaction measurement, measurement of open source projects, teaching and learning software measurement as well as new trends and ontologies for software measurement
Advances in visual computing 4th international symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008 : proceedings by D Hutchison( file )
4 editions published in 2008 in English and held by 79 libraries worldwide
Annotation The two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual Computing, ISVC 2008, held in Las Vegas, NV, USA, in December 2008.The 102 revised full papers and 70 poster papers presented together with 56 full and 8 poster papers of 8 special tracks were carefully reviewed and selected from more than 340 submissions. The papers are organized in topical sections on computer graphics, visualization, shape/recognition, video analysis and event recognition, virtual reality, reconstruction, motion, face/gesture, and computer vision applications. The 8 additional special tracks address issues such as object recognition, real-time vision algorithm implementation and application, computational bioimaging and visualization, discrete and computational geometry, soft computing in image processing and computer vision, visualization and simulation on immersive display devices, analysis and visualization of biomedical visual data, as well as image analysis for remote sensing data
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 D Hutchison( file )
2 editions published in 2008 in English and held by 75 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 self-organizing maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009 : proceedings by D Hutchison( file )
2 editions published in 2009 in English and held by 73 libraries worldwide
Annotation This book constitutes the refereed proceedings of the 7th International Workshop on Advances in Self-Organizing Maps, WSOM 2009, held in St. Augustine, Florida, in June 2009. The 41 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers deal with topics in the use of SOM in many areas of social sciences, economics, computational biology, engineering, time series analysis, data visualization and theoretical computer science
Transactions on Petri Nets and Other Models of Concurrency by D Hutchison( file )
3 editions published in 2008 in English and held by 73 libraries worldwide
Annotation These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two stage refereeing process. ToPNoC contains: Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences; special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series); other papers invited for publication in ToPNoC; papers submitted directly to ToPNoC by their authors.This is the first volume of ToPNoC. It contains revised and extended versions of a selection of the best papers from the workshops held at the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, which took place in Siedlce, Poland, June 25-29, 2007. The material has been selected and evaluated by the two Workshop and Tutorial Chairs, Wil van der Aalst and Jonathan Billington, in close cooperation with the chairs of the individual workshops. The 13 papers in this volume cover a wide range of concurrency-related topics, including: teaching concurrency; process languages; process mining; software engineering; state space visualization techniques; timed Petri nets; unfolding techniques and hardware systems. Thus, this volume gives a good overview of the state of the art in concurrency research
Transactions on Rough Sets by David Hutchison( file )
3 editions published in 2008 in English and held by 72 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
Web engineering 9th international conference, ICWE 2009, San Sebastian, Spain, June 24-26 2009 : proceedings by D Hutchison( file )
2 editions published in 2009 in English and held by 71 libraries worldwide
This book constitutes the refereed proceedings of the 9th International Conference on Web Engineering, ICWE 2009, held in San Sebastian, Spain in June 2009. The 22 revised full papers and 15 revised short papers presented together with 8 posters and 10 demonstration papers were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on accessibility and usability, component-based web engineering: portals and mashups, data and semantics, model-driven web engineering, navigation, process, planning and phases, quality, rich internet applications, search, testing, web services, SOA and REST, and web 2.0
Combinatorial pattern matching 20th annual symposium, CPM 2009, Lille, France, June 22-24, 2009 : proceedings by D Hutchison( file )
2 editions published in 2009 in English and held by 71 libraries worldwide
Component-based software engineering 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings by D Hutchison( file )
2 editions published in 2009 in English and held by 71 libraries worldwide
Advances in cryptology - EUROCRYPT 2009 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009 ; proceedings by Shai Halevi( file )
2 editions published in 2009 in English and held by 69 libraries worldwide
This book constitutes the refereed proceedings of the 29th Annual International Cryptology Conference, CRYPTO 2009, held in Santa Barbara, CA, USA in August 2009. The 38 revised full papers presented were carefully reviewed and selected from 213 submissions. Addressing all current foundational, theoretical and research aspects of cryptology, cryptography, and cryptanalysis as well as advanced applications, the papers are organized in topical sections on key leakage, hash-function cryptanalysis, privacy and anonymity, interactive proofs and zero-knowledge, block-cipher cryptanalysis, modes of operation, elliptic curves, cryptographic hardness, merkle puzzles, cryptography in the physical world, attacks on signature schemes, secret sharing and secure computation, cryptography and game-theory, cryptography and lattices, identity-based encryption and cryptographers' toolbox
Scalability of networks and services third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009, Enschede, the Netherlands, June 30-July 2, 2009 : proceedings by D Hutchison( file )
2 editions published in 2009 in English and held by 69 libraries worldwide
This book constitutes the refereed proceedings of the Third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009, held in Enschede, The Netherlands, during June 30 - July 2, 2009 under the auspices of IFIP. The 12 revised full papers and three short papers presented together with 8 papers of the AIMS PhD workshop were carefully reviewed and selected from 28 submissions to the main conference and 15 papers for the PhD workshop respectively. The papers are organized in topical sections on network resource management, overlays and P2P networks, network configuration and optimization, as well as monitoring and visualization
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Vardi, M. Y.
Vardi, Moshe.
Languages
English (99)
Covers
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.