2721 search results - page 104 / 545 » An experimental analysis of Lemke-Howson algorithm |
WWW
2008
ACM
15 years 10 months ago
2008
ACM
We propose a hybridization of collaborative filtering and content based recommendation system. Attributes used for content based recommendations are assigned weights depending on ...
ISQED
2007
IEEE
15 years 4 months ago
2007
IEEE
Design verification has become a bottleneck of modern designs. Recently, simulation-based random verification has attracted a lot of interests due to its effectiveness in uncoveri...
CAV
2004
Springer
15 years 3 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
An omnidirectional platform with an Active Offset Split Caster (ASOC) is described and its ability to operate on non-ideal floors is studied. It is shown that all of its driven wh...
LCN
2002
IEEE
15 years 2 months ago
2002
IEEE
Overall efficiency of high-performance computing clusters not only relies on the computing power of the individual nodes, but also on the performance that the underlying network c...