361 search results - page 60 / 73 » Automatic Generation of Some Results in Finite Algebra |
120
click to vote
AMAI
1999
Springer
14 years 9 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
113
click to vote
KELSI
2004
Springer
15 years 3 months ago
2004
Springer
There is an overwhelming increase in submissions to genomic databases, posing a problem for database maintenance, especially regarding annotation of fields left blank during submi...
ICS
1997
Tsinghua U.
15 years 1 months ago
1997
Tsinghua U.
Modern microprocessors can achieve high performance on linear algebra kernels but this currently requires extensive machine-speci c hand tuning. We have developed a methodology wh...
76
Voted
IPM
2007
14 years 9 months ago
2007
Patent documents contain important research results. However, they are lengthy and rich in technical terminology such that it takes a lot of human efforts for analyses. Automatic...
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
The central task of current profile control during the ramp-up phase of a tokamak discharge is to find the actuator trajectories that are necessary to achieve certain desired curre...