12084 search results - page 332 / 2417 » Effect Systems with Subtyping |
188
click to vote
AFRIGRAPH
2007
ACM
15 years 11 months ago
2007
ACM
Real objects present an enormous amount of detail, including aging effects. Artists need an intuitive control when they iteratively review and redesign their work to achieve a spe...
199
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
178
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
- We propose a method of enhancing the reusability of the component IPs by separating communication and computation for a system function. In this approach, we assume that the comp...
183
Voted
CDC
2009
IEEE
16 years 5 days ago
2009
IEEE
—Motivated by the migration mechanisms of ecosystems, various extensions to biogeography-based optimization (BBO) are proposed. BBO is an original optimization method based on th...
201
click to vote
SIGIR
2008
ACM
15 years 7 months ago
2008
ACM
Adaptive Information Retrieval (IR) systems are designed to optimize retrieval effectiveness and user interaction in an underlying search environment. In this article, we report o...