Sciweavers

513 search results - page 14 / 103
» Test Construction for Mathematical Functions
Sort
View
ICHIM
2001
87views more  ICHIM 2001»
13 years 9 months ago
Digital Preservation of Cultural Heritage through Constructive Modeling
The issues of digital preservation of shapes and internal structures of historical and cultural objects are discussed. An overview of existing approaches to computer modeling of s...
Carl Vilbrandt, Alexander A. Pasko, Galina Pasko, ...
ICSE
2008
IEEE-ACM
14 years 8 months ago
Data flow testing of service-oriented workflow applications
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
Lijun Mei, W. K. Chan, T. H. Tse
JCPHY
2011
109views more  JCPHY 2011»
12 years 10 months ago
Fast construction of hierarchical matrix representation from matrix-vector multiplication
We develop a hierarchical matrix construction algorithm using matrixvector multiplications, based on the randomized singular value decomposition of low-rank matrices. The algorith...
Lin Lin, Jianfeng Lu, Lexing Ying
CALCO
2007
Springer
138views Mathematics» more  CALCO 2007»
14 years 1 months ago
Coalgebraic Foundations of Linear Systems
Abstract. Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the fin...
Jan J. M. M. Rutten
NIPS
2001
13 years 9 months ago
Constructing Distributed Representations Using Additive Clustering
If the promise of computational modeling is to be fully realized in higherlevel cognitive domains such as language processing, principled methods must be developed to construct th...
Wheeler Ruml