Sciweavers

2816 search results - page 327 / 564
» Submodular function minimization
Sort
View
130
Voted
ISAAC
2010
Springer
272views Algorithms» more  ISAAC 2010»
15 years 6 days ago
Neighbor Systems, Jump Systems, and Bisubmodular Polyhedra
The concept of neighbor system, introduced by Hartvigsen (2009), is a set of integral vectors satisfying a certain combinatorial property. In this paper, we reveal the relationship...
Akiyoshi Shioura
126
Voted
MEMOCODE
2010
IEEE
15 years 6 days ago
Monitoring temporal SystemC properties
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
Deian Tabakov, Moshe Y. Vardi
RECSYS
2010
ACM
15 years 5 days ago
List-wise learning to rank with matrix factorization for collaborative filtering
A ranking approach, ListRank-MF, is proposed for collaborative filtering that combines a list-wise learning-to-rank algorithm with matrix factorization (MF). A ranked list of item...
Yue Shi, Martha Larson, Alan Hanjalic
CISSE
2009
Springer
15 years 3 days ago
Optimal Component Selection for Component-Based Systems
In Component-based Software (CBS) development, it is desirable to choose software components that provide all necessary functionalities and at the same time optimize certain nonfun...
Muhammad Ali Khan, Sajjad Mahmood
101
Voted
ICRA
2009
IEEE
123views Robotics» more  ICRA 2009»
15 years 1 days ago
Time-minimal path planning in dynamic current fields
Numerous approaches have been proposed for path planning in dynamic current fields, for a fixed departure time. However, in many applications, the departure time is not necessarily...
Michaël Soulignac, Patrick Taillibert, Michel...