Sciweavers

16091 search results - page 210 / 3219
» Solving
Sort
View
CORR
2008
Springer
76views Education» more  CORR 2008»
15 years 4 months ago
Termination Criteria for Solving Concurrent Safety and Reachability Games
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. H...
CORR
2008
Springer
74views Education» more  CORR 2008»
15 years 3 months ago
Solving package dependencies: from EDOS to Mancoosi
Ralf Treinen, Stefano Zacchiroli
121
Voted
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 3 months ago
Stable normal forms for polynomial system solving
This paper describes and analyzes a method for computing border bases of a zero-dimensional ideal I. The criterion used in the computation involves specific commutation polynomial...
Bernard Mourrain, Philippe Trebuchet
85
Voted
CSUR
2008
64views more  CSUR 2008»
15 years 3 months ago
Solving problems on recursively constructed graphs
Richard B. Borie, R. Gary Parker, Craig A. Tovey