Sciweavers

8337 search results - page 377 / 1668
» Reasoning With Characteristic Models
Sort
View
201
Voted
GIS
2000
ACM
15 years 6 months ago
Modeling part-whole relationships for spatial data
Spatialapplications must managepartwhole (PW) relationships between spatial objects, for example, the division of an administrative region into zones based on land use. Support fo...
Rosanne Price, Nectaria Tryfona, Christian S. Jens...
DSN
2009
IEEE
16 years 1 months ago
Report generation for simulation traces with Traviando
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
Peter Kemper
ICSEA
2009
IEEE
15 years 4 months ago
Software Process Improvement in Multimodel Environments
-- Software is increasing in size and complexity. As a direct implication, organizations nd it more difficult to achieve the desired product quality. Process improvement models are...
André Ferreira, Ricardo Jorge Machado
CSL
2007
Springer
15 years 6 months ago
Speaker-adaptive learning of resonance targets in a hidden trajectory model of speech coarticulation
A novel speaker-adaptive learning algorithm is developed and evaluated for a hidden trajectory model of speech coarticulation and reduction. Central to this model is the process o...
Dong Yu, Li Deng, Alex Acero
LPAR
2010
Springer
15 years 5 months ago
On the Complexity of Model Expansion
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
Antonina Kolokolova, Yongmei Liu, David G. Mitchel...