8025 search results - page 158 / 1605 » Combinators Introduction: An Algorithm |
121
click to vote
DLT
2010
15 years 3 months ago
2010
Abstract. Millstream systems have recently been proposed as a formalization of the linguistic idea that natural language should be described as a combination of different modules r...
106
Voted
CIKM
2010
Springer
14 years 12 months ago
2010
Springer
Complex search tasks that utilize information from several data sources, are answered by integrating the results of distinct basic search queries. In such integration, each basic ...
112
click to vote
AICCSA
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper discusses an approach for solving combinatorial problems by combining software and dynamically reconfigurable hardware (configware). The suggested technique avoids inst...
136
click to vote
EVOW
2003
Springer
15 years 7 months ago
2003
Springer
The rough surface inverse scattering problem is approached with a combination of evolutionary strategies and the simplex method. The surface, assumed one-dimensional and perfectly ...
114
click to vote
GI
2001
Springer
15 years 6 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...