Sciweavers

4561 search results - page 344 / 913
» Value and the information market
Sort
View
ECIS
2003
15 years 8 months ago
Implementing inter-organizational systems (IOS) for strategic advantage: a value-flow framework
Increasingly, organizations have been investing heavily in information systems for greater dyadic coordination and cooperation with each of their key business partners. In this re...
Michael T. K. Tan, K. S. Raman, Kwok Kee Wei
DAGSTUHL
1996
15 years 8 months ago
Pragmatics of Type-Directed Partial Evaluation
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
Olivier Danvy
APVIS
2010
15 years 8 months ago
Volume visualization based on statistical transfer-function spaces
It is a difficult task to design transfer functions for noisy data. In traditional transfer-function spaces, data values of different materials overlap. In this paper we introduce...
Martin Haidacher, Daniel Patel, Stefan Bruckner, A...
ENTCS
2008
89views more  ENTCS 2008»
15 years 7 months ago
CC(X): Semantic Combination of Congruence Closure with Solvable Theories
We present a generic congruence closure algorithm for deciding ground formulas in the combination of the theory of equality with uninterpreted symbols and an arbitrary built-in so...
Sylvain Conchon, Evelyne Contejean, Johannes Kanig...
CORR
2007
Springer
105views Education» more  CORR 2007»
15 years 6 months ago
Empirical Evaluation of Four Tensor Decomposition Algorithms
Higher-order tensor decompositions are analogous to the familiar Singular Value Decomposition (SVD), but they transcend the limitations of matrices (second-order tensors). SVD is ...
Peter D. Turney