Sciweavers

3954 search results - page 103 / 791
» Image-based Model Completion
Sort
View
ENDM
2000
174views more  ENDM 2000»
15 years 4 months ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein
ISD
1999
Springer
262views Database» more  ISD 1999»
15 years 9 months ago
Spatial Pictogram Enhanced Conceptual Data Models and Their Translation to Logical Data Models
The successful development of any geographic information system project needs the careful design and implementation of spatial databases via conceptual and logical data-modeling. T...
Shashi Shekhar, Ranga Raju Vatsavai, Sanjay Chawla...
TIP
2011
114views more  TIP 2011»
14 years 12 months ago
Constrained Acquisition of Ink Spreading Curves From Printed Color Images
— Today’s spectral reflection prediction models are able to predict the reflection spectra of printed color images with an accuracy as high as the reproduction variability allo...
Thomas Bugnon, Roger D. Hersch
CONCUR
2009
Springer
15 years 11 months ago
Model-Checking Games for Fixpoint Logics with Partial Order Models
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
Julian Gutierrez, Julian C. Bradfield
VLDB
1992
ACM
112views Database» more  VLDB 1992»
15 years 9 months ago
Incomplete Information in Relational Temporal Databases
For the conventional relational model there has been considerable research in the area of incomplete information. On the other hand, research in temporal databases has concentrated...
Shashi K. Gadia, Sunil S. Nair, Yiu-Cheong Poon