9697 search results - page 1651 / 1940 » Intelligent Transportation Systems |
161
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are compatible. Bialgebras are usually studied over a ...
189
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
152
click to vote
AC
2001
Springer
15 years 11 months ago
2001
Springer
Research in Machine Learning methods to-date remains centered on technological issues and is mostly application driven. This letter summarizes successful applications of machine l...
169
click to vote
CSCWD
2001
Springer
15 years 11 months ago
2001
Springer
Both workflow and agent technology have recently been applied to business process management. The integration of these two technologies will definitely provide solutions to the pr...
164
click to vote
COMPSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
– This paper presents three key distribution schemes for channel protection. With the proposed schemes, encryption keys of the ordered programs can be distributed to the authoriz...