6894 search results - page 131 / 1379 » Generation Problems |
145
click to vote
COLING
2000
15 years 7 months ago
2000
In this paper, we present a solution to the problem of generating Japanese numeral classifiers using semantic classes from an ontology. Most nouns must take a numeral classifier w...
145
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Constrained random simulation is the main workhorse in today’s hardware verification flows. It requires the random generation of input stimuli that obey a set of declaratively...
147
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
163
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
A permutation is said to avoid the permutation if no subsequence in has the same order relations as . Two sets of permutations 1 and 2 are Wilfequivalent if, for all n, the numb...
169
click to vote
INFOCOM
2006
IEEE
16 years 13 days ago
2006
IEEE
—In 3G data networks, network operators would like to balance system throughput while serving users in a fair manner. This is achieved using the notion of proportional fairness. ...