1329 search results - page 265 / 266 » Constraint-based model synthesis |
IJVR
2007
13 years 7 months ago
2007
—Virtual Human (VH) creation aims to provide virtual characters with realistic behavior, which implies endowing them with autonomy in an inhabited virtual environment. Autonomous...
ASE
2005
13 years 7 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
TIP
2008
13 years 7 months ago
2008
In this paper, we propose a hierarchical color correction algorithm for enhancing the color of digital images obtained from low quality digital image capture devices such as cell ...
BMCBI
2005
13 years 7 months ago
2005
Background: Translational power is the cellular rate of protein synthesis normalized to the biomass invested in translational machinery. Published data suggest a previously unreco...
ECRA
2002
13 years 7 months ago
2002
Existing e-commerce applications on the web provide the users a relatively simple, browser-based interface to access available products. Customers are not provided with the same s...