Sciweavers

2492 search results - page 263 / 499
» An Integrated Rule Modeling Framework
Sort
View
ER
2007
Springer
163views Database» more  ER 2007»
16 years 22 days ago
Know your Limits: Enhanced XML Modeling with Cardinality Constraints
XML Schema supports the specification of occurrence constraints by declaring values for its min/maxOccurs attributes. These constraints are structural in the sense that they rest...
Sebastian Link, Thu Trinh
MKWI
2008
130views Business» more  MKWI 2008»
15 years 8 months ago
A Method for Aligning Business Process Modeling and Software Requirements Engineering
: Software engineering provides a rich set of methods and tools that cover the entire engineering process. However, there still exist major problems in integrating methods that add...
Daniel Weiß, Jörg Leukel, Stefan Kirn
EUMAS
2006
15 years 8 months ago
Modeling Holonic Systems with an Organizational approach
Systems often exhibit hierarchical structures and multiple levels of abstraction, and MultiAgent Systems, even if they have proved their adequacy to model such systems, mains in t...
Sebastian Rodriguez, Nicolas Gaud, Vincent Hilaire...
CVPR
2005
IEEE
16 years 8 months ago
A Dynamic Conditional Random Field Model for Object Segmentation in Image Sequences
This paper presents a dynamic conditional random field (DCRF) model to integrate contextual constraints for object segmentation in image sequences. Spatial and temporal dependenci...
Qiang Ji, Yang Wang 0002
TACAS
2009
Springer
106views Algorithms» more  TACAS 2009»
16 years 1 months ago
Hierarchical Set Decision Diagrams and Regular Models
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Ham...