11151 search results - page 141 / 2231 » On the Complexity of Model Expansion |
136
click to vote
VISUALIZATION
2002
IEEE
15 years 9 months ago
2002
IEEE
We report on using computed tomography (CT) as a model acquisition tool for complex objects in computer graphics. Unlike other modeling and scanning techniques the complexity of t...
279
click to vote
DNA
2011
Springer
14 years 4 months ago
2011
Springer
Sticker complexes are a a formal graph-based data model for a restricted class of DNA complexes, motivated by potential applications to databases. This data model allows for a pure...
126
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
116
Voted
ADC
2007
Springer
15 years 8 months ago
2007
Springer
Derived horizontal fragmentation is one of the main database distribution design techniques. Unlike primary horizontal fragmentation, the decision of derived horizontal fragmentat...
113
Voted
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...