Sciweavers

3954 search results - page 176 / 791
» Image-based Model Completion
Sort
View
WSC
2000
15 years 7 months ago
Mathematical programming models of discrete event system dynamics
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...
Lee Schruben
188
Voted
SIGSOFT
2003
ACM
16 years 7 months ago
Behaviour model elaboration using partial labelled transition systems
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
Sebastián Uchitel, Jeff Kramer, Jeff Magee
BICOB
2009
Springer
16 years 29 days ago
A Bayesian Approach to High-Throughput Biological Model Generation
Abstract. With the availability of hundreds and soon-to-be thousands of complete genomes, the construction of genome-scale metabolic models for these organisms has attracted much a...
Xinghua Shi, Rick L. Stevens
BPSC
2009
184views Business» more  BPSC 2009»
15 years 7 months ago
Generating WS-SecurityPolicy Documents via Security Model Transformation
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
Meiko Jensen
188
Voted
CVIU
2008
126views more  CVIU 2008»
15 years 6 months ago
Optimising dynamic graphical models for video content analysis
A key problem in video content analysis using dynamic graphical models is to learn a suitable model structure given some observed visual data. We propose a Completed Likelihood AI...
Tao Xiang, Shaogang Gong