3941 search results - page 84 / 789 » Computational Efficiency of Batching Methods |
CHARME
2001
Springer
14 years 18 days ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
Current standard interfaces for entering mathematical equations on computers are arguably limited and cumbersome. Mathematics notations have evolved to aid visual thinking and yet...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Two major challenges in collaborative filtering are the efficiency of the algorithms and the quality of the recommendations. A variety of machine learning methods have been applie...
COR
2006
13 years 9 months ago
2006
We present an algorithm to compute the (pre)-kernel of a TU-game N, v with a system of n 2 1 linear programming problems. In contrast to the algorithms using convergence methods t...
IGPL
2007
13 years 8 months ago
2007
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...