43264 search results - page 426 / 8653 » Comparing models of computation |
160
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we present a new model of snow accumulation and stability for computergraphics. Our contribution is divided into two major components, each essential for modelling ...
184
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— In a real-world, labor market consist of employer and employee, and these individuals form relationship through mutual interactions. This paper mainly focuses on development of...
156
click to vote
RTSS
2003
IEEE
2003
IEEE
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
16 years 3 days ago
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
164
Voted
ICLP
2003
Springer
16 years 1 days ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
148
click to vote
GRC
2008
IEEE
15 years 7 months ago
2008
IEEE
Research on auto-harmonizing a melody (e.g. Chinese folksong) with piano accompaniment is trying to build up a computer system which generates a 3voice music including piano left-...