1981 search results - page 90 / 397 » Model-Checking Hierarchical Structures |
151
click to vote
ANTSW
2004
Springer
15 years 11 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...
168
click to vote
LREC
2010
15 years 7 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...
186
click to vote
ICPP
2008
IEEE
16 years 19 days 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...
165
click to vote
IPPS
2007
IEEE
16 years 14 days 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...
184
click to vote
ASPDAC
2006
ACM
16 years 5 days 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...