Sciweavers

5105 search results - page 39 / 1021
» Approximate Structural Consistency
Sort
View
FMCAD
2000
Springer
14 years 3 days ago
A Theory of Consistency for Modular Synchronous Systems
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke...
ASIAN
2005
Springer
102views Algorithms» more  ASIAN 2005»
13 years 10 months ago
General Consistency Management Within the Development of Ontology-Driven Web Information System
This paper proposes a general consistency management methodology within ontology-driven WIS development. The contributions of this paper are follows: 1) introduces the concept stru...
Baojun Qiu, Hongyan Li, Zijing Hu, Dongqing Yang, ...
BMCBI
2010
88views more  BMCBI 2010»
13 years 8 months ago
MetaBar - a tool for consistent contextual data acquisition and standards compliant submission
Background: Environmental sequence datasets are increasing at an exponential rate; however, the vast majority of them lack appropriate descriptors like sampling location, time and...
Wolfgang Hankeln, Pier Luigi Buttigieg, Dennis Fin...
CVPR
2007
IEEE
14 years 10 months ago
Consistent Temporal Variations in Many Outdoor Scenes
This paper details an empirical study of large image sets taken by static cameras. These images have consistent correlations over the entire image and over time scales of days to ...
Nathan Jacobs, Nathaniel Roman, Robert Pless
CSCW
2004
ACM
13 years 8 months ago
Consistency Control for Synchronous and Asynchronous Collaboration Based on Shared Objects and Activities
We describe a new collaborative technology that bridges the gap between ad hoc collaboration in email and more formal collaboration in structured shared workspaces. Our approach is...
Jürgen Vogel, Werner Geyer, Li-Te Cheng, Mich...