5622 search results - page 836 / 1125 » Solving architectural modelling problems using knowledge |
172
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
126
click to vote
CVPR
2005
IEEE
16 years 7 months ago
2005
IEEE
In this paper we present a novel learning based method for restoring and recognizing images of digits that have been blurred using an unknown kernel. The novelty of our work is an...
171
click to vote
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We propose a scheme to introduce directionality in the Random Walker algorithm for image segmentation. In particular, we extend the optimization framework of this algorithm to com...
149
Voted
ESAS
2007
Springer
15 years 9 months ago
2007
Springer
The promise of vehicular communications is to make road traffic safer and more efficient. However, besides the expected benefits, vehicular communications also introduce some priva...
149
Voted
EUMAS
2006
15 years 6 months ago
2006
When developing BDI agent-based systems, some design patterns such as incompatible intentions, multiple strategies, intention decomposition, etc. would be very useful for specifyi...