2748 search results - page 389 / 550 » Generating Object-Z Specifications from Use Cases |
169
click to vote
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...
136
click to vote
FIMI
2003
15 years 5 months ago
2003
A simple new algorithm is suggested for frequent itemset mining, using item probabilities as the basis for generating candidates. The method first finds all the frequent items, an...
104
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We suggest a new, unconventional, way for solving the YES/NO version of the Exact Cover problem by using the massive parallelism of light. The idea is to build a device which can ...
156
click to vote
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
Most highly accurate predictive modeling techniques produce opaque models. When comprehensible models are required, rule extraction is sometimes used to generate a transparent mod...
116
Voted
ACISP
2005
Springer
15 years 9 months ago
2005
Springer
We deal with a divisor class halving algorithm on hyperelliptic curve cryptosystems (HECC), which can be used for scalar multiplication, instead of a doubling algorithm. It is not ...