Search Sciweavers | Sciweavers

11065 search results - page 383 / 2213

» Education

111

click to vote

CORR
2004
Springer

86views Education» more CORR 2004»

Probabilistic Solutions of Equations in the Braid Group

15 years 7 months ago

Download u.cs.biu.ac.il

D. Garber, S. Kaplan, Mina Teicher, Boaz Tsaban, U...

claim paper

Read More »

149

click to vote

CORR
2004
Springer

93views Education» more CORR 2004»

Removing Propagation Redundant Constraints in Redundant Modeling

15 years 7 months ago

Download www.cse.cuhk.edu.hk

Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey

claim paper

Read More »

148

click to vote

CORR
2004
Springer

81views Education» more CORR 2004»

Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)

15 years 7 months ago

Download www.cs.unipr.it

Roberto Bagnara, Patricia M. Hill, Elena Mazzi, En...

claim paper

Read More »

110

click to vote

CORR
2000
Springer

62views Education» more CORR 2000»

SLT-Resolution for the Well-Founded Semantics

15 years 7 months ago

Download lcs.ios.ac.cn

Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You

claim paper

Read More »

145

click to vote

CORR
2000
Springer

73views Education» more CORR 2000»

Structure of some sand pile model

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers