Sciweavers

1996 search results - page 24 / 400
» Financial Theory 2
Sort
View
FSTTCS
2004
Springer
14 years 3 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
DAM
2006
86views more  DAM 2006»
13 years 10 months ago
Sub-dominant theory in numerical taxonomy
Sub-dominant theory provides efficient tools for clustering. However it classically works only for ultrametrics and ad hoc extensions like Jardine and Sibson's 2ultrametrics....
François Brucker
CORR
2007
Springer
116views Education» more  CORR 2007»
13 years 9 months ago
Cooperative game theory and the Gaussian interference channel
—In this paper we discuss the use of cooperative game theory for analyzing interference channels. We extend our previous work, to games with N players as well as frequency select...
Amir Leshem, Ephraim Zehavi
AIED
2005
Springer
14 years 3 months ago
Making Learning Design Standards Work with an Ontology of Educational Theories
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
Valéry Psyché, Jacqueline Bourdeau, ...
CISS
2008
IEEE
14 years 4 months ago
Information theory based estimator of the number of sources in a sparse linear mixing model
—In this paper we present an Information Theoretic Estimator for the number of sources mutually disjoint in a linear mixing model. The approach follows the Minimum Description Le...
Radu Balan