Informatik (15.755 Artikel)

This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium w...

This book constitutes refereed proceedings of the 27th International Workshop on Frontiers of Computer Vision, IW-FCV 2021, held in Daegu, South Korea, in February 2021.  The 17 full papers and 8 s...

This book constitutes refereed proceedings of the 28th International Workshop on Frontiers of Computer Vision, IW-FCV 2022, held in Hiroshima, Japan, in February 2022. Due to the COVID-19 pandemic ...

FHPCN 2006 Workshop.- XHPC 2006 Workshop.- S-GRACE 2006 Workshop.- GridGIS 2006 Workshop.- HPC-GTP 2006 Workshop.- PDCE 2006 Workshop.- ParDMCom 2006 Workshop.- WOMP 2006 Workshop.- ISDF 2006 Works...

Workshop on Security and Survivability in Distributed Sensor Networks.- To Increase Survivability with Software Rejuvenation by Having Dual Base Station in WSN Environment.- DoS Attack Mining in Se...

Research into Fully Integrated Data Environments (FIDE) has the goal of substantially improving the quality of application systems while reducing the cost of building and maintaining them. Applicat...

7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings

Fun with Olympiad in Algorithmics.- The FUNnest Talks That belong to FUN (Abstract).- Fun with Games.- Do We Need a Stack to Erase a Component in a Binary Image?.- Kaboozle Is NP-complete, Even in ...

Imaging and Image Analysis.- Local Wall-Motion Classification in Echocardiograms Using Shape Models and Orthomax Rotations.- A Fully 3D System for Cardiac Wall Deformation Analysis in MRI Data.- Au...

This book constitutes the refereed proceedings of the 5th International Conference on Functional Imaging and Modeling of the Heart, FIMH 2009, held in Nice, France in June 2009. The 54 revised full...

is a relatively new area of computer science. These proceedings contain 25 papers representing an excellent snapshot of the current state of functional programming and are written by the leading co...

Miranda: A non-strict functional language with polymorphic types.- Data flow graph optimization in if1.- Strictness analysis -- a practical approach.- The categorical abstract machine.- High order ...

This volume contains the proceedings of the Third Conference on Functional Programming Languages and Computer Architecture held in Portland, Oregon, September 14-16, 1987. This conference was a suc...

This book offers a comprehensive view of the best and the latest work in functional programming. It is the proceedings of a major international conference and contains 30 papers selected from 126 s...

This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advanc...