Sciweavers

2324 search results - page 307 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
CAV
2009
Springer
239views Hardware» more  CAV 2009»
15 years 2 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
151
Voted
MC
2001
140views Computer Science» more  MC 2001»
14 years 11 months ago
Cooperative model production in systems design to support knowledge management
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
Christoph Clases
87
Voted
BMCBI
2008
81views more  BMCBI 2008»
14 years 10 months ago
A perspective for biomedical data integration: Design of databases for flow cytometry
Background: The integration of biomedical information is essential for tackling medical problems. We describe a data model in the domain of flow cytometry (FC) allowing for massiv...
John Drakos, Marina Karakantza, Nicholas C. Zoumbo...
103
Voted
APGV
2005
ACM
250views Visualization» more  APGV 2005»
15 years 3 months ago
A perceptual framework for contrast processing of high dynamic range images
Image processing often involves an image transformation into a domain that is better correlated with visual perception, such as the wavelet domain, image pyramids, multi-scale con...
Rafal Mantiuk, Karol Myszkowski, Hans-Peter Seidel
116
Voted
GMP
2010
IEEE
214views Solid Modeling» more  GMP 2010»
15 years 2 months ago
Efficient Computation of 3D Clipped Voronoi Diagram
The Voronoi diagram is a fundamental geometry structure widely used in various fields, especially in computer graphics and geometry computing. For a set of points in a compact 3D d...
Dong-Ming Yan, Wenping Wang, Bruno Lévy, Ya...