3799 search results - page 470 / 760 » An Engineering Approach to Formal Methods |
184
click to vote
COLING
1996
15 years 8 months ago
1996
In this paper we describe a new approach for learning dialog act processing. In this approach we integrate a symbolic semantic segmentation parse,: with a learning dialog act netw...
170
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
In this paper a new approach to solve constrained multi-objective problems by way of evolutionary multi-objective optimization is introduced. In contrast to former evolutionary ap...
228
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
156
click to vote
VISUALIZATION
2003
IEEE
15 years 12 months ago
2003
IEEE
The goal of this paper is to transfer image processing to vector fields and flow visualization by defining a suitable convolution operation. For this, a multiplication of vecto...
182
click to vote
CGO
2004
IEEE
15 years 10 months ago
2004
IEEE
Traditionally, software pipelining is applied either to the innermost loop of a given loop nest or from the innermost loop to outer loops. In this paper, we propose a threestep ap...