5227 search results - page 441 / 1046 » Enterprise modeling using class and instance models |
250
Voted
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
Simultaneously segmenting and labeling images is a fundamental problem in Computer Vision. In this paper, we introduce a hierarchical CRF model to deal with the problem of labelin...
209
Voted
APSEC
2008
IEEE
16 years 2 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
184
Voted
ADC
2001
Springer
16 years 5 days ago
2001
Springer
The Sketch Data Model (SkDM) is a new semantic modelling paradigm based on category theory (specifically on categorical universal algebra), which has been used successfully in se...
166
Voted
UAI
2004
15 years 9 months ago
2004
Ancestral graph models, introduced by Richardson and Spirtes (2002), generalize both Markov random fields and Bayesian networks to a class of graphs with a global Markov property ...
203
Voted
AMAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...