6885 search results - page 264 / 1377 » The micro-structure of use of help |
140
click to vote
ANLP
1994
15 years 8 months ago
1994
This paper reports on the techniques used to successfully translate with the help of a computer a Mathematics textbook from Portuguese to English. Even if these techniques are sim...
178
click to vote
COLING
1994
15 years 8 months ago
1994
This paper presents a heuristic method that uses information in the Japanese text along with knowledge of English countability and number stored in transfer dictionaries to determ...
162
click to vote
SPRINGSIM
2007
15 years 8 months ago
2007
Modeling and simulation tools have been used for helping in the early stages of hardware/software systems design. The DEVS formalism is a technique that enables hierarchical descr...
180
click to vote
WCET
2007
15 years 8 months ago
2007
We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded ...
220
click to vote
AIPS
2004
15 years 8 months ago
2004
The planning as heuristic search framework, initiated by the planners ASP from Bonet, Loerincs and Geffner, and HSP from Bonet and Geffner, lead to some of the most performant pla...