Sciweavers

3362 search results - page 32 / 673
» A definition of subjective possibility
Sort
View
MM
2004
ACM
116views Multimedia» more  MM 2004»
15 years 5 months ago
A taxonomy for multimedia service composition
The realization of multimedia systems still heavily relies on building monolithic systems that need to be reengineered for every change in the application and little of which can ...
Klara Nahrstedt, Wolf-Tilo Balke
ECAI
1994
Springer
15 years 3 months ago
Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
Giuseppe De Giacomo, Maurizio Lenzerini
CORR
2010
Springer
174views Education» more  CORR 2010»
14 years 12 months ago
Cut Elimination for a Logic with Induction and Co-induction
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
Alwen Tiu, Alberto Momigliano
ENTCS
2008
64views more  ENTCS 2008»
14 years 12 months ago
General Refinement, Part Two: Flexible Refinement
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
Steve Reeves, David Streader
TIP
2008
154views more  TIP 2008»
14 years 11 months ago
Adaptive Local Linear Regression With Application to Printer Color Management
Abstract--Local learning methods, such as local linear regression and nearest neighbor classifiers, base estimates on nearby training samples, neighbors. Usually, the number of nei...
Maya R. Gupta, Eric K. Garcia, E. Chin