book
Lecture Notes in Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of 18th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2008, featuring Integrated Circuit and System Design, held in Lisbon, Portugal during September 10-12, 2008. The 31 revised full papers and 10 revised poster papers presented together with 3 invited talks and 4 papers from a special...
book
Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the International Conference on Spatial Cognition, Spatial Cognition 2008, held in Freiburg, Germany, in September 2008. The 27 revised full papers presented together with 3 invited lectures were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections on spatial orientation, spatial navigation, spatial learning,...
book
Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 12th Annual Conference Towards Autonomous Robotics Systems, TAROS 2011, held in Sheffield, UK, in August/September 2011. The 32 revised full papers presented together with 29 two-page abstracts were carefully reviewed and selected from 94 submissions. Among the topics addressed are robot navigation, robot learning, human-robot interaction, robot...
book
Lecture Notes in Computer Science
book
Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 12th European Conference on Research and Advanced Technology for Digital Libraries, ECDL 2008, held in Aarhus, Denmark, in September 2008. The 28 revised full papers and 10 revised short papers presented together with 1 panel description, the extended abstracts of 24 revised poster and demo papers were carefully reviewed and selected from a total...
book
Lecture Notes in Computer Science
The Turkish Artificial Intelligence and Neural Network Symposium (TAINN) is an annual meeting where scientists present their new ideas and algorithms on artificial intelligence and neural networks with either oral or poster presentation. The TAINN- Turkish Conference on AI and NN Series started in 1992 at Bilkent University in Ankara, envisioned by various researchers in AI and NN then at the Bilkent,...
book
Lecture Notes in Computer Science
This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included.Logic programs rely on a nonmonotonic operator often referred to...
book
book
Lecture Notes in Computer Science
Welcome to MMNS 2003. Multimedia services over IP networks are proliferating at an enormous speed. There is also increasing demand for solutions that provide assured levels of s- vice quality. All of these require novel paradigms, models, and architectures for realizing integrated end-to-end service management rather than managing n- work elements in isolation. Providing scalable Quality of Service...
book
Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages...
book
Lecture Notes in Computer Science
On behalf of the organizing committee for EuroSSC 2007, we would like to welcome you to the proceedings of the second European Conference on Smart Sensing and Context. Although only in its second year, EuroSSC has already begun to attract significant interest from researchers in the rapidly evolving area of embedded sensing and intelligent objects in support of smart surroundings. Building on the...
book
Lecture Notes in Computer Science
TheInternationalConferenceonRoughSetandKnowledgeTechnology(RSKT) has been held every year since 2006. RSKT serves as a major forum that brings researchers and industry practitioners together to discuss and deliberate on fundamental issues of knowledge processing and management and knowled- intensive practical solutions in the current knowledge age. Experts from around the world meet to present state-of-the-art...
book
Lecture Notes in Computer Science
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification.Preliminary solutions were discussed during a workshop...
