Sciweavers

7049 search results - page 304 / 1410
» Data Abstraction for CSP-OZ
Sort
View
CIBB
2008
15 years 8 months ago
Curating a Large-Scale Regulatory Network by Evaluating Its Consistency with Expression Datasets
Abstract. The analysis of large-scale regulatory models using data issued from genome-scale high-throughput experimental techniques is an actual challenge in the systems biology fi...
Carito Guziolowski, Jeremy Gruel, Ovidiu Radulescu...
149
Voted
ESA
2008
Springer
73views Algorithms» more  ESA 2008»
15 years 8 months ago
On the Size of the 3D Visibility Skeleton: Experimental Results
Abstract. The 3D visibility skeleton is a data structure used to encode global visibility information about a set of objects. Previous theoretical results have shown that for k con...
Linqiao Zhang, Hazel Everett, Sylvain Lazard, Chri...
DAGSTUHL
2006
15 years 8 months ago
The Formal Specification Language mCRL2
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the
Jan Friso Groote, Aad Mathijssen, Michel A. Renier...
BNCOD
2001
101views Database» more  BNCOD 2001»
15 years 8 months ago
Limiting Result Cardinalities for Multidatabase Queries Using Histograms
Abstract. Integrating, cleaning and analyzing data from heterogeneous sources is often complicated by the large amounts of data and its physical distribution which can result in po...
Kai-Uwe Sattler, Oliver Dunemann, Ingolf Geist, Gu...
IC
2003
15 years 8 months ago
Marshalgen: A Package for Semi-Automatic Marshaling of Objects
Abstract— Marshaling or serialization of objects is an important component of both distributed and parallel computing. Current systems impose a significant burden on the program...
Gene Cooperman, Ning Ke, Huanmei Wu