2887 search results - page 99 / 578 » Name Generation and Linearity |
168
click to vote
AICCSA
2008
IEEE
16 years 19 days ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
156
Voted
FATES
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
130
click to vote
GMP
2002
IEEE
15 years 11 months ago
2002
IEEE
We present an algorithm for computing Minkowski sums among surfaces of revolution and surfaces of linear extrusion, generated by slope-monotone closed curves. The special structur...
182
click to vote
ICMLA
2004
15 years 7 months ago
2004
Landmarking is a recent and promising metalearning strategy, which defines meta-features that are themselves efficient learning algorithms. However, the choice of landmarkers is m...
162
click to vote
ACL
2010
15 years 4 months ago
2010
In this paper we present a joint content selection and compression model for single-document summarization. The model operates over a phrase-based representation of the source doc...