Sciweavers

8824 search results - page 129 / 1765
» On the Complexity of Real Functions
Sort
View
ACSD
2003
IEEE
87views Hardware» more  ACSD 2003»
15 years 9 months ago
Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
Mohammad Reza Mousavi, Michel A. Reniers, Twan Bas...
CDES
2008
130views Hardware» more  CDES 2008»
15 years 5 months ago
A Quantum Algorithm for Finding Minimum Exclusive-Or Expressions for Multi-Output Incompletely Specified Boolean Functions
This paper presents a quantum algorithm for finding minimal ESCT (Exclusive-or Sum of Complex Terms) or ESOP (Exclusive-or Sum Of Products) expressions for any arbitrary multi-outp...
Marinos Sampson, Dimitrios Voudouris, George K. Pa...
NAR
2000
101views more  NAR 2000»
15 years 4 months ago
FIMM, a database of functional molecular immunology
FIMM database (http://sdmc.krdl.org.sg:8080/fimm ) contains data relevant to functional molecular immunology, focusing on cellular immunology. It contains fully referenced data on...
Christian Schönbach, Judice L. Y. Koh, Xin Sh...
ICML
2004
IEEE
15 years 10 months ago
Active learning of label ranking functions
The effort necessary to construct labeled sets of examples in a supervised learning scenario is often disregarded, though in many applications, it is a time-consuming and expensi...
Klaus Brinker
CORR
2010
Springer
139views Education» more  CORR 2010»
14 years 11 months ago
A recombination algorithm for the decomposition of multivariate rational functions
In this paper we show how we can compute in a deterministic way the decomposition of a multivariate rational function with a recombination strategy. The key point of our recombinat...
Guillaume Chèze