5499 search results - page 778 / 1100 » Generalized Rewrite Theories |
184
click to vote
ACSC
2002
IEEE
16 years 14 days ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
233
Voted
FOCS
2002
IEEE
16 years 13 days ago
2002
IEEE
Abstract—This paper generalizes the classical Knuth–Schönhage algorithm computing the greatest common divisor (gcd) of two polynomials for solving arbitrary linear Diophantine...
199
click to vote
GLVLSI
2002
IEEE
16 years 13 days ago
2002
IEEE
Many computation-intensive or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graphs (DFGs). ...
207
click to vote
ICDM
2002
IEEE
16 years 13 days ago
2002
IEEE
Support vector machine (SVM) is a new learning method developed in recent years based on the foundations of statistical learning theory. By taking a transductive approach instead ...
216
click to vote
ICTAI
2002
IEEE
16 years 13 days ago
2002
IEEE
In this paper, we propose new dominance relations that can speed up significantly the solution process of nonlinear constrained dynamic optimization problems in discrete time and...