16091 search results - page 192 / 3219 » Solving |
128
click to vote
ACL
2006
15 years 5 months ago
2006
In this paper we present a tool that uses comparable corpora to find appropriate translation equivalents for expressions that are considered by translators as difficult. For a phr...
168
click to vote
AIA
2006
15 years 5 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
112
Voted
APBC
2006
15 years 5 months ago
2006
130
Voted
CATS
2006
15 years 5 months ago
2006
We present a new method for finding closed forms of recursive Boolean function definitions. Traditionally, these closed forms are found by iteratively approximating until a fixed ...
123
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Structured linear algebra techniques enable one to deal at once with various types of matrices, with features such as Toeplitz-, Hankel-, Vandermonde- or Cauchy-likeness. Following...