262 search results - page 11 / 53 » Hybrid Constraints in Automated Model Synthesis and Model Pr... |
CORR
2011
Springer
14 years 1 months ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
81
Voted
ICASSP
2010
IEEE
14 years 8 months ago
2010
IEEE
In many signal processing problems, it may be fruitful to represent the signal under study in a redundant linear decomposition called a frame. If a probabilistic approach is adopt...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
88
Voted
PLDI
2012
ACM
12 years 12 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
DAGSTUHL
2003
14 years 11 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...