2373 search results - page 375 / 475 » Modelling Facial Behaviours |
134
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
123
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
183
click to vote
FASE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
126
Voted
FM
2003
Springer
15 years 9 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
120
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper we use bilevel programming to find the maximum difference between a reference controller and a low-complexity controller in terms of the infinitynorm difference...