2702 search results - page 138 / 541 » constraints 2008 |
183
click to vote
FUIN
2008
15 years 6 months ago
2008
The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is transla...
129
click to vote
TIT
2008
15 years 6 months ago
2008
In this correspondence, we show that the uniform throughput capacity of an ultra-wideband (UWB) power-constrained ad hoc network is given by 2(P ( n=logn) ), where P is the per-nod...
113
click to vote
COLING
1994
15 years 7 months ago
1994
The paper describes the construction of a lexical transducer for Korean that can be used for stemming and generation. The method contains two innovations: (1) two h.'vel rule...
175
click to vote
DKE
2008
15 years 6 months ago
2008
In this paper, we discuss a novel technique based on semantic constraints to improve the performance and portability of a reformulation-based question answering system. First, we ...
186
click to vote
TCAD
1998
15 years 6 months ago
1998
Abstract—This paper presents an aggressive optimization technique targeting combinational logic circuits. Starting from an initial implementation mapped on a given technology lib...