2060 search results - page 266 / 412 » The Composition of Event-B Models |
178
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The use of statically compiled search networks for ASR systems using huge vocabularies and complex language models often becomes challenging in terms of memory requirements. Dynam...
387
click to vote
VR
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract Modeling tools typically have their own interaction methods for combining virtual objects. For realistic composition in 3D space, many researchers from the fields of virt...
349
click to vote
CASES
2011
ACM
14 years 6 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
182
click to vote
ESCIENCE
2005
IEEE
16 years 3 days ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...
175
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
In this paper we consider the problem of object parsing,
namely detecting an object and its components by composing
them from image observations. Apart from object localization,
...