Hasil Pencarian  ::  Simpan CSV :: Kembali

"The 22nd Conference on Autonomous Mobile Systems (AMS 2012) provides a platform for idea exchange, scientific discussion and cooperation for scientists from universities as well as industry. Autonomous mobile systems as well as their practical approach are in the center of interest. The presented selection of articles focuses on approaches from the fields of perception and sensors, mapping and localization, control, navigation, micro- and nano robotics, machine learning, autonomous cars, humanoid robots, system architectures and the application in autonomous mobile systems."

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2011, held in Saarbrücken, Germany, in September 2011. The 16 revised full papers presented together with two invited keynote talks were carefully reviewed and selected from 31 submissions. The papers are organized in two tracks: sensor networks, covering topics such as localization, lifetime maximization, interference control, neighbor discovery, self-organization, detection, and aggregation; and ad hoc wireless and mobile systems including the topics: routing, scheduling and capacity optimization in the SINR model, continuous monitoring, and broadcasting."

"This book constitutes the refereed proceedings of the Third International Conference on Autonomous and Intelligent Systems, AIS 2012, held in Aveiro, Portugal, in June 2012, collocated with the International Conference on Image Analysis and Recognition, IACIAR 2012. The 31 revised full papers were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on autonomous sensors and sensor systems, autonomous systems and intelligent control with applications, intelligent fuzzy systems, intelligent robotics, intelligent knowledge management, swarm and evolutionary methods, and applications."

"This book contains the refereed proceedings of the 15th International Conference on Business Information Systems, BIS 2012, held in Vilnius, Lithuania, in May 2012. The 26 revised full papers were carefully reviewed and selected from 70 submissions. They are grouped into nine sessions on business process discovery, business process verification, service architectures, collaborative BIS, data management, Web search applications, BIS in finance, decision support, and specific BIS issues."

"The Workshops on Autonomous Systems emanated from a gathering with the doctoral students of just three chairs at Fernuniversität in Hagen, which we organise twice per year for a number of years now. Their purpose is to discuss on-going research and to create a community spirit. Furthermore, they serve as a means of structuring the students' research processes. The workshop has grown and matured in several respects. The doctoral students presenting their work do not come from a single university anymore, but from three. Besides them and their supervisors, also other scientists became interested in the event and contribute to its programme. Following the model of Advanced Study Institutes, they are available on the premises for relaxed, informal discussions outside the formal sessions. Finally, with the co-sponsorship of Gesellschaft für Informatik, the German Computer Society, and this surprisingly comprehensive volume of contributions published by Springer-Verlag the workshop turned into a visible scientific event."

"BIS workshops give researchers the opportunity to share their preliminary ideas and first experimental results, and discuss research hypotheses with a highly focused audience. The 24 papers were carefully reviewed and selected from 63 submissions and were revised and extended after the event. The workshop topics covered applications and economics of knowledge-based technologies (AKTB), business and IT alignment (BITA), enterprise systems for higher education (ESHE), and formal semantics for future enterprises (FSFE). In addition, one invited paper from BITA is also included in this volume."

"This book constitutes the refereed proceedings of the 25th International Conference on Architecture of Computing Systems, ARCS 2012, held in Munich, Germany, in February/March 2012. The 20 revised full papers presented in 7 technical sessions were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on robustness and fault tolerance, power-aware processing, parallel processing, processor cores, optimization, and communication and memory."

"This book constitutes the thoroughly refereed proceedings of the 16th East-European Conference on Advances in Databases and Information Systems (ADBIS 2012), held in Poznan, Poland, in September 2012. The 32 revised full papers presented were carefully selected and reviewed from 122 submissions. The papers cover a wide spectrum of issues concerning the area of database and information systems, including database theory, database architectures, query languages, query processing and optimization, design methods, data integration, view selection, nearest-neighbor searching, analytical query processing, indexing and caching, concurrency control, distributed systems, data mining, data streams, ontology engineering, social networks, multi-agent systems, business process modeling, knowledge management, and application-oriented topics like RFID, XML, and data on the Web."

"This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits."

"The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies."