Sciweavers

205 search results - page 16 / 41
» The Use of a Formal Representation of Accounting Standards
Sort
View
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
14 years 28 days ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
BMCBI
2010
277views more  BMCBI 2010»
13 years 7 months ago
PCA2GO: a new multivariate statistics based method to identify highly expressed GO-Terms
Background: Several tools have been developed to explore and search Gene Ontology (GO) databases allowing efficient GO enrichment analysis and GO tree visualization. Nevertheless,...
Marc Bruckskotten, Mario Looso, Franz Cemic, Anne ...
TCSV
2008
128views more  TCSV 2008»
13 years 7 months ago
Redundant Slice Optimal Allocation for H.264 Multiple Description Coding
In this paper a novel H.264 multiple description technique is proposed. The coding approach is based on the redundant slice representation option, defined in the H.264 standard. In...
Tammam Tillo, Marco Grangetto, Gabriella Olmo
AMAST
2008
Springer
13 years 9 months ago
Service Specification and Matchmaking Using Description Logic
ed Abstract an extended abstract of [11]. Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities, called services...
M. Birna van Riemsdijk, Rolf Hennicker, Martin Wir...
BDA
2004
13 years 8 months ago
A new way of optimizing OLAP queries
For around 10 years, the academic research in database has attempted to define a commonly agreed logical modeling for the multidimensional and hierarchical nature of data manipulat...
Arnaud Giacometti, Dominique Laurent, Patrick Marc...