1981 search results - page 90 / 397 » Model-Checking Hierarchical Structures |
ANTSW
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present in this paper, a new model for document hierarchical clustering, which is inspired from the self-assembly behavior of real ants. We have simulated the way ants...
LREC
2010
13 years 11 months ago
2010
Recent developments on hybrid systems that combine rule-based machine translation (RBMT) systems with statistical machine translation (SMT) generally neglect the fact that RBMT sy...
ICPP
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we explore the use of hierarchically structured multiprocessor tasks (M-tasks) for programming multi-core cluster systems. These systems often have hierarchically s...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Applications such as parallel computing, online games, and content distribution networks need to run on a set of resources with particular network connection characteristics to ge...
ASPDAC
2006
ACM
14 years 4 months ago
2006
ACM
This paper advances a new methodology based on signal-path information to resolve the problem of device-level placement for analog layout. This methodology is mainly based on three...