4628 search results - page 31 / 926 » Eliciting information for product modeling using process mod... |
WOTUG
2007
13 years 8 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
WSC
2000
13 years 9 months ago
2000
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
ICRA
2002
IEEE
14 years 15 days ago
2002
IEEE
A new approach to the forming control using a forming process model of rheological food dough is presented. Manipulative operations of rheological objects can be found in many ind...
MMS
2008
13 years 7 months ago
2008
While many multimedia systems allow the association of semantic annotations with media assets, there is no agreedupon way of sharing these among systems. As an initial step within...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
In this paper, we propose a novel area of research referred to as singing information processing. To shape the concept of this area, we first introduce singing understanding syst...