Sciweavers

7918 search results - page 333 / 1584
» Model Composition Directives
Sort
View
ACSD
2006
IEEE
109views Hardware» more  ACSD 2006»
15 years 6 months ago
Synthesis of Synchronous Interfaces
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
Purandar Bhaduri, S. Ramesh
FMOODS
2008
15 years 6 months ago
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus
We analyse the relationship between object-oriented modelling and session-based, service-oriented modelling, starting from a typical UML Sequence Diagram and providing a program tr...
Luís Cruz-Filipe, Ivan Lanese, Francisco Ma...
ECCV
1994
Springer
16 years 6 months ago
Pose refinement of active models using forces in 3D
A new algorithm is described for refining the pose of a model of a rigid object, to conform more accurately to the image structure. Elemental 3D forces are considered to act on the...
Anthony D. Worrall, Geoffrey D. Sullivan, Keith D....
CSCLP
2006
Springer
15 years 8 months ago
A Constraint Model for State Transitions in Disjunctive Resources
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
Roman Barták, Ondrej Cepek
NIPS
1998
15 years 6 months ago
Learning a Continuous Hidden Variable Model for Binary Data
A directed generative model for binary data using a small number of hidden continuous units is investigated. A clipping nonlinearity distinguishes the model from conventional prin...
Daniel D. Lee, Haim Sompolinsky