2748 search results - page 399 / 550 » Generating Object-Z Specifications from Use Cases |
159
click to vote
WCE
2007
15 years 5 months ago
2007
— This paper presents the initial results of a study aimed at improving the method by which the vibrations produced by transport vehicles are characterised and simulated. More sp...
159
click to vote
CODES
2010
IEEE
15 years 1 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
142
click to vote
SEW
2007
IEEE
15 years 10 months ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
155
click to vote
Publication
One of the principal bottlenecks in applying learning techniques to classification problems is the large amount of labeled training data required. Especially for images and video, ...
132
click to vote
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
Capturing multiple photos at different focus settings is a powerful approach for reducing optical blur, but how many photos should we capture within a fixed time budget? We develop...