Database and information systems technologies have been rapidly evolving in several directions over the past years. New types and kinds of data, new types of applications and information systems to support them raise diverse challenges to be addressed. The so-called big data challenge, streaming data management and processing, social networks...
PES College of Engineering is organizing an International Conference on Emerging Research in Electronics, Computer Science and Technology (ICERECT-12) in Mandya and merging the event with Golden Jubilee of the Institute. The Proceedings of the Conference presents high quality, peer reviewed articles from the field of Electronics, Computer...
Markov decision process (MDP) models are widely used for modeling sequential decision-making problems that arise in engineering, economics, computer science, and the social sciences. Many real-world problems modeled by MDPs have huge state and/or action spaces, giving an opening to the curse of dimensionality and so making practical...
The First Summer School on Theoretical Aspects on Computer Science was held
at the Institute for Studies in Theoretical Physics and Mathematics (IPM) from
July 3-10, 2000.
The idea of organizing a summer school was originated during a conversation
between the first and the second editor of this volume in the winter...
Graphical models in their modern form have been around since the late 1970s and
appear today in many areas of the sciences. Along with the ongoing developments
of graphical models, a number of different graphical modelling software programs
have been written over the years. In recent years many of these software developments
have...
Modern computing tools like MAPLE (a symbolic computation package)
and MATLAB® ( a numeric and symbolic computation and visualization
program) make it possible to use the techniques of scientific
computing to solve realistic nontrivial problems in a classroom
setting. These problems have been traditionally...
The practical task of building a talking robot requires a theory of how natural language communication works. Conversely, the best way to computationally verify a theory of natural language communication is to demonstrate its functioning concretely in the form of a talking robot, the epitome of human–machine communication. To...
Modern computing tools like MAPLE (a symbolic computation package)
and MATLAB (a numeric computation and visualization program)
make it possible to use the techniques of scientific computing
to solve realistic nontrivial problems in a classroom setting. These...
The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009. The 22 revised full papers presented together with 2 invited papers were...
The study of social networks was originated in social and business communities. In recent years, social network research has advanced significantly; the development of sophisticated techniques for Social Network Analysis and Mining (SNAM) has been highly influenced by the online social Web sites, email logs, phone logs and instant...
This book applies to the scientific area of electronic design automation (EDA) and addresses the automatic sizing of analog integrated circuits (ICs). Particularly, this book presents an approach to enhance a state-of-the-art layout-aware circuit-level optimizer (GENOM-POF), by embedding statistical knowledge from an automatically generated...
Developing educational software requires thinking, problematizing, representing, modeling, implementing and analyzing pedagogical objectives and issues, as well as conceptual models and software architectures. Computer scientists face the difficulty of understanding the particular issues and phenomena to be taken into account in...