5200 search results - page 917 / 1040 » Symbolic models for control systems |
CVGIP
2007
13 years 10 months ago
2007
In this paper we introduce a framework for instrumenting (“rigging”) characters that are modeled as dynamic elastic bodies, so that their shapes can be controlled by an animat...
ICDE
2009
IEEE
14 years 12 months ago
2009
IEEE
Over recent years there has been increased level of discussion on utility pricing for software. The focus of these discussions is to create new operating cost models where the unit...
ICDE
2005
IEEE
14 years 11 months ago
2005
IEEE
Standard multi-party computation models assume semi-honest behavior, where the majority of participants implement protocols according to specification, an assumption not always pl...
ICDE
2002
IEEE
14 years 11 months ago
2002
IEEE
With the growth of the Web, there has been a rapid increase in the number of users who need to access online databases without having a detailed knowledge of the schema or of quer...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...