15485 search results - page 211 / 3097 » Computing Optimal Subsets |
161
Voted
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Burch and Dill [3] described an automatic method for verifying a pipelined processor against its instruction setarchitecture(ISA). We describethree techniquesfor improving this me...
137
Voted
GD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Timetable graphs are used to analyze transportation networks. In their visualization, vertex coordinates are fixed to preserve the underlying geography, but due to small ...
146
click to vote
IJNSEC
2008
15 years 6 months ago
2008
A scheme for general group oriented ID-based cryptosystems is proposed. This scheme allows an authorized subset in the general access structure to cooperatively decrypt the cipher...
149
click to vote
DCC
1998
IEEE
15 years 6 months ago
1998
IEEE
A group code defined over a group G is a subset of Gn which forms a group under componentwise group operation. The well known matrix characterization of MDS (Maximum Distance Sepa...
200
Voted
ACL
2009
15 years 4 months ago
2009
We compare the CCG parser of Clark and Curran (2007) with a state-of-the-art Penn Treebank (PTB) parser. An accuracy comparison is performed by converting the CCG derivations into...