169 search results - page 25 / 34 » Efficient search space exploration for HW-SW partitioning |
120
Voted
KDD
2008
ACM
16 years 2 months ago
2008
ACM
There is an exploding amount of user-generated content on the Web due to the emergence of "Web 2.0" services, such as Blogger, MySpace, Flickr, and del.icio.us. The part...
112
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
138
click to vote
ERCIMDL
2000
Springer
15 years 5 months ago
2000
Springer
Segmentation of a colour image composed of different kinds of texture regions can be a hard problem, namely to compute for an exact texture fields and a decision of the optimum num...
116
click to vote
EUMAS
2006
15 years 3 months ago
2006
Forming effective coalitions is a major research challenge in the field of multi-agent systems. Central to this endeavour is the problem of determining the best set of agents that...
102
Voted
PVLDB
2008
15 years 1 months ago
2008
Many approaches have been proposed to find correlations in binary data. Usually, these methods focus on pair-wise correlations. In biology applications, it is important to find co...