4635 search results - page 318 / 927 » Modeling Design Knowledge on Structure |
207
click to vote
ICSM
2009
IEEE
16 years 2 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
216
click to vote
TARK
2007
Springer
16 years 1 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
170
click to vote
ISVLSI
2005
IEEE
16 years 1 months ago
2005
IEEE
Mesh interconnect can be efficiently utilized while tree networks encourage the short routing distances. In this paper, we present the property analysis of a cluster-based interc...
217
click to vote
IDEAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Historically, bitmap indexing has provided an important database capability to accelerate queries. However, only a few database systems have implemented these indexes because of t...
212
click to vote
AAAI
2010
15 years 9 months ago
2010
In many real world applications, labeled data are usually expensive to get, while there may be a large amount of unlabeled data. To reduce the labeling cost, active learning attem...