Graph Structures for Knowledge Representation and Reasoning: Second Interntional Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected
ISBN: 9783642294488 / Angielski / Miękka / 209 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2011, held in Barcelona, Spain, in July 2011 as satellite event of IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence.
Constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graph Structures for Knowledge Representation ...
|
|
cena:
195,42 zł |
Handbook of Weighted Automata
ISBN: 9783642260490 / Angielski / Miękka / 608 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted ?nite automata are classical nondeterministic ?nite automata in which the transitions carry weights. These weights may model, e. g., the cost involved when executing a transition, the amount of resources or time neededforthis, ortheprobabilityorreliabilityofitssuccessful execution. The behavior of weighted ?nite automata can then be considered as the function (suitably de?ned) associating with each word the weight of its execution. Clearly, weights can also be added to classical automata...
The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted ?nite automata are classical nondeterministic...
|
|
cena:
899,06 zł |
Online Learning and Online Convex Optimization
ISBN: 9781601985460 / Angielski / Miękka / 102 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Online learning is a well established learning paradigm which has both theoretical and practical appeals. The goal of online learning is to make a sequence of accurate predictions given knowledge of the correct answer to previous prediction tasks and possibly additional available information. Online learning has been studied in several research fields including game theory, information theory, and machine learning. It also became of great interest to practitioners due the recent emergence of large scale applications such as online advertisement placement and online web ranking. Online...
Online learning is a well established learning paradigm which has both theoretical and practical appeals. The goal of online learning is to make a seq...
|
|
cena:
314,17 zł |
Theory and Applications of Models of Computation: 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
ISBN: 9783642299513 / Angielski / Miękka / 622 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy, and the wider scientific world. Eight Turing Lectures were given at the TAMC 2012. The 40 revised full papers presented together with invited talks were carefully reviewed and selected from 86 submissions. The papers...
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, hel...
|
|
cena:
195,42 zł |
Fun with Algorithms: 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012, Proceedings
ISBN: 9783642303463 / Angielski / Miękka / 397 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 6th International Conference, FUN 2012, held in June 2012 in Venice, Italy.
Constitutes the refereed proceedings of the 6th International Conference, FUN 2012, held in June 2012 in Venice, Italy.
|
|
cena:
195,42 zł |
Wireless Internet: 6th International Icst Conference, Wicon 2011, Xi'an, China, October 19-21, 2011, Revised Selected Papers
ISBN: 9783642304927 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 6th International ICST Conference on Wireless Internet (WICON 2011) held in Xi'an, Shaanxi, China in October 2011. The 55 revised full papers were carefully selected from numerous submissions and focus on research in telecommunication and networking and development in information and communication technologies. The papers are presented in 10 technical sessions and cover topics as video streaming over OFDMA downlink systems, cognitive radio networks, distributed antenna systems, joint source channel coding,...
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International ICST Conference on Wireless Internet (WICON 2011) h...
|
|
cena:
195,42 zł |
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
ISBN: 9783642298240 / Angielski / Miękka / 106 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering have, to some degree, evolved separately and without any underpinning formalisms. This book introduces set theory as a consistent underlying formalism, and shows how a coherent framework can be developed that links these subdisciplines.
The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering have, to some degree, evolved separatel...
|
|
cena:
195,42 zł |
Quantitative Logic and Soft Computing - Proceedings of the Ql&sc 2012
ISBN: 9789814401524 / Angielski / Twarda / 724 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The QL&SC 2012 is a major symposium for scientists, and practitioners all around the world to present their latest researches, results, ideas, developments and applications in such areas as quantitative logic, many-valued logic, fuzzy logic, quantification of software, artificial intelligence, fuzzy sets and systems and soft computing. This invaluable book provides a broad introduction to the fuzzy reasoning and soft computing. It is certain one should not go too far in approximation and optimization, and a certain degree must be kept in mind. This is the essential idea of quantitative logic...
The QL&SC 2012 is a major symposium for scientists, and practitioners all around the world to present their latest researches, results, ideas, develop...
|
|
cena:
1176,96 zł |
How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, Cie 2012, Cambridge, Uk, June 18-23, 2012,
ISBN: 9783642308697 / Angielski / Miękka / 756 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012. The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum of research areas. The papers presented at CiE 2012 represent the best of current research in...
This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in...
|
|
cena:
195,42 zł |
DNA Computing and Molecular Programming: 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012, Proceedings
ISBN: 9783642322075 / Angielski / Miękka / 151 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 18th International Conference on DNA Computing and Molecular Programming, DNA 18, held in Aarhus, Denmark, in August 2012. The 11 full papers presented were carefully selected from 37 submissions. The papers are organized in topical sections on advancing the engineering and science of biology and chemistry from the point of view of computer science, physics, and mathematics.
This book constitutes the refereed proceedings of the 18th International Conference on DNA Computing and Molecular Programming, DNA 18, held in Aarhus...
|
|
cena:
195,42 zł |
Kernels for Vector-Valued Functions: A Review
ISBN: 9781601985583 / Angielski / Miękka / 86 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kernel methods are among the most popular techniques in machine learning. From a regularization theory perspective, they provide a natural choice for the hypotheses space and the regularization functional through the notion of reproducing kernel Hilbert spaces. From a probabilistic theory perspective, they are the key in the context of Gaussian processes, where the kernel function is known as the covariance function. The theory of kernel methods for single-valued functions is well established by now, and indeed there has been a considerable amount of work devoted to designing and learning...
Kernel methods are among the most popular techniques in machine learning. From a regularization theory perspective, they provide a natural choice for ...
|
|
cena:
314,17 zł |
Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, Nj, Usa, August 13-15, 2012. Proceedings
ISBN: 9783642323461 / Angielski / Miękka / 419 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program...
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Prin...
|
|
cena:
195,42 zł |
Service-Oriented Distributed Knowledge Discovery
ISBN: 9781439875315 / Angielski / Twarda / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A new approach to distributed large-scale data mining, service-oriented knowledge discovery extracts useful knowledge from today s often unmanageable volumes of data by exploiting data mining and machine learning distributed models and techniques in service-oriented infrastructures. Service-Oriented Distributed Knowledge Discovery presents techniques, algorithms, and systems based on the service-oriented paradigm. Through detailed descriptions of real software systems, it shows how the techniques, models, and architectures can be implemented. The book covers... A new approach to distributed large-scale data mining, service-oriented knowledge discovery extracts useful knowledge from today s often unmanageab... |
|
cena:
537,31 zł |
Structural Complexity II
ISBN: 9783642753596 / Angielski / Miękka / 283 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the second volume of a two volume collection on Structural Complexity. This volume assumes as a prerequisite knowledge about the topics treated in Volume I, but the present volume itself is nearly self-contained. As in Volume I, each chapter of this book ends with a section entitled "Bibliographical Remarks," in which the relevant references for the chapter are briefly commented upon. These sections might also be of interest to those wanting an overview of the evolution of the field, as well as relevant related results which are not included in the text. Each chapter includes a...
This is the second volume of a two volume collection on Structural Complexity. This volume assumes as a prerequisite knowledge about the topics treate...
|
|
cena:
429,96 zł |
Structural Complexity I
ISBN: 9783642792373 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the six years since the first edition of this book was published, the field of Structural Complexity has grown quite a bit. However, we are keeping this volume at the same basic level that it had in the first edition, and the only new result incorporated as an appendix is the closure under complementation of nondeterministic space classes, which in the previous edition was posed as an open problem. This result was already included in our Volume II, but we feel that due to the basic nature of the result, it belongs to this volume. There are of course other important results obtained during...
In the six years since the first edition of this book was published, the field of Structural Complexity has grown quite a bit. However, we are keeping...
|
|
cena:
195,42 zł |
Formal Methods for Industrial Critical Systems: 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings
ISBN: 9783642324680 / Angielski / Miękka / 223 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris,...
|
|
cena:
179,82 zł |
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 15th International Workshop, Approx 2012, and 16th Internatio
ISBN: 9783642325113 / Angielski / Miękka / 674 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the joint refereed proceedings of the 15th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2012, and the 16th International Workshop on Randomization and Computation, RANDOM 2012, held in Cambridge, Massachusetts, USA, in August 2011. The volume contains 28 contributed papers, selected by the APPROX Program Committee out of 70 submissions, and 28 contributed papers, selected by the RANDOM Program Committee out of 67 submissions. APPROX focuses on algorithmic and complexity issues surrounding the development of efficient...
This book constitutes the joint refereed proceedings of the 15th International Workshop on Approximation Algorithms for Combinatorial Optimization Pro...
|
|
cena:
195,42 zł |
Logic, Language, Information, and Computation
ISBN: 9783642326202 / Angielski / Miękka / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The papers report advances in inter-disciplinary research involving formal logic, theory of computation, foundations of mathematics, and computational linguistics.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Work...
|
|
cena:
195,42 zł |
Swarm Intelligence: 8th International Conference, Ants 2012, Brussels, Belgium, September 12-14, 2012, Proceedings
ISBN: 9783642326493 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 8th International Conference on Swarm Intelligence, held in Brussels, Belgium, in September 2012. This volume contains 15 full papers, 20 short papers, and 7 extended abstracts carefully selected out of 81 submissions. The papers cover various topics of swarm intelligence.
This book constitutes the proceedings of the 8th International Conference on Swarm Intelligence, held in Brussels, Belgium, in September 2012. This vo...
|
|
cena:
195,42 zł |
Uncertainty Quantification in Scientific Computing: 10th Ifip Wg 2.5 Working Conference, Wocouq 2011, Boulder, Co, Usa, August 1-4, 2011, Revised Sele
ISBN: 9783642326769 / Angielski / Twarda / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, WoCoUQ 2011, held in Boulder, CO, USA, in August 2011. The 24 revised papers were carefully reviewed and selected from numerous submissions. They are organized in the following topical sections: UQ need: risk, policy, and decision making, UQ theory, UQ tools, UQ practice, and hot topics. The papers are followed by the records of the discussions between the participants and the speaker.
This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, ...
|
|
cena:
195,42 zł |