221 search results - page 12 / 45 » Regular implementation in the space of compactly supported f... |
80
Voted
ICML
2006
IEEE
15 years 10 months ago
2006
IEEE
Recently, a very appealing approach was proposed to compute the entire solution path for support vector classification (SVC) with very low extra computational cost. This approach ...
102
click to vote
FMCAD
1998
Springer
15 years 1 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
81
Voted
ERLANG
2003
ACM
15 years 2 months ago
2003
ACM
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...
APCSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Multimedia devices demands a platform integrated various functional modules and an increasing support of multiple standards. Stream architecture is able to solve the problem. Howev...
109
Voted
ICML
1999
IEEE
15 years 10 months ago
1999
IEEE
ing from Robot Sensor Data using Hidden Markov Models Laura Firoiu, Paul Cohen Computer Science Department, LGRC University of Massachusetts at Amherst, Box 34610 Amherst, MA 01003...