Sciweavers

4895 search results - page 594 / 979
» Functional Quantum Programming
Sort
View
CALCO
2009
Springer
172views Mathematics» more  CALCO 2009»
16 years 1 months ago
Coalgebraic Components in a Many-Sorted Microcosm
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...
Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokol...
ER
2009
Springer
92views Database» more  ER 2009»
16 years 1 months ago
On Matrix Representations of Participation Constraints
Abstract. We discuss the existence of matrix representations for generalised and minimum participation constraints which are frequently used in database design and conceptual model...
Sven Hartmann, Uwe Leck, Sebastian Link
EUROGP
2009
Springer
119views Optimization» more  EUROGP 2009»
16 years 1 months ago
Comparison of CGP and Age-Layered CGP Performance in Image Operator Evolution
This paper analyses the efficiency of the Cartesian Genetic Programming (CGP) methodology in the image operator design problem at the functional level. The CGP algorithm is compare...
Karel Slaný
VTC
2007
IEEE
129views Communications» more  VTC 2007»
16 years 27 days ago
Hybrid Model of Least Squares Handover Algorithms in Wireless Networks
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...
Claudia Rinaldi, Fortunato Santucci, Carlo Fischio...
EUROITV
2007
Springer
16 years 24 days ago
EPG-Board a Social Application for the OmegaBox Media Center
The goal of this research project is to investigate the use of technology in supporting social relationships by helping users throughout the decisional process (“What program cou...
Arianna Iatrino, Sonia Modeo