Sciweavers

4320 search results - page 261 / 864
» Functional Objects
Sort
View
TLCA
2005
Springer
16 years 2 days ago
A Lambda Calculus for Quantum Computation with Classical Control
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
Peter Selinger, Benoît Valiron
VIS
2004
IEEE
166views Visualization» more  VIS 2004»
16 years 7 months ago
2D Maps for Visual Analysis and Retrieval in Large Multi-Feature 3D Model Databases
Multimedia objects are often described by high-dimensional feature vectors which can be used for retrieval and clustering tasks. We have built an interactive retrieval system for ...
Benjamin Bustos, Daniel A. Keim, Christian Panse, ...
DATE
2006
IEEE
110views Hardware» more  DATE 2006»
16 years 20 days ago
Top-down heterogeneous synthesis of analog and mixed-signal systems
A new approach for automated synthesis of analog and mixed-signal systems is presented. The heterogeneous genetic optimization strategy starts from a functional description and ev...
Ewout Martens, Georges G. E. Gielen
FSKD
2005
Springer
77views Fuzzy Logic» more  FSKD 2005»
16 years 4 days ago
Knowledge Structuring and Evaluation Based on Grey Theory
It is important nowadays to provide guidance for individuals or organizations to improve their knowledge according to their objectives, especially in the case of incomplete cogniti...
Chen Huang, Yushun Fan
FQAS
2004
Springer
103views Database» more  FQAS 2004»
16 years 3 hour ago
A Unifying Framework for Flexible Information Access in Taxonomy-Based Sources
A taxonomy-based source consists of a taxonomy and a database storing objects that are indexed in terms of the taxonomy. For this kind of sources, we describe a flexible interacti...
Yannis Tzitzikas, Carlo Meghini, Nicolas Spyratos