Sciweavers

10682 search results - page 436 / 2137
» A Graph Based Process Representation for Process Modeling
Sort
View
CCE
2004
15 years 6 months ago
Towards integrated information models for data and documents
Numerous approaches to information modeling exist within chemical engineering representing product data, work processes, or other information. These models have a limited scope an...
Birgit Bayer, Wolfgang Marquardt
AMAST
2006
Springer
15 years 10 months ago
State Space Representation for Verification of Open Systems
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
Irem Aktug, Dilian Gurov
ICDT
2012
ACM
226views Database» more  ICDT 2012»
13 years 9 months ago
Factorised representations of query results: size bounds and readability
We introduce a representation system for relational data based on algebraic factorisation using distributivity of product over union and commutativity of product and union. We giv...
Dan Olteanu, Jakub Zavodny
ICCAD
2000
IEEE
94views Hardware» more  ICCAD 2000»
15 years 11 months ago
Corner Block List: An Effective and Efficient Topological Representation of Non-Slicing Floorplan
––In this paper, a corner block list — a new efficient topological representation for non-slicing floorplan is proposed with applications to VLSI floorplan and building block...
Xianlong Hong, Gang Huang, Yici Cai, Jiangchun Gu,...
LREC
2008
107views Education» more  LREC 2008»
15 years 8 months ago
Building a Bilingual Representation of the Roget Thesaurus for French to English Machine Translation
This paper describes a solution to lexical transfer as a trade-off between a dictionary and an ontology. It shows its association to a translation tool based on morpho-syntactical...
Violaine Prince, Jacques Chauché