Sciweavers

10622 search results - page 343 / 2125

» Python Programming Language

97

ICLP
2005
Springer

125views Automated Reasoning» more ICLP 2005»

Decision Support for Personalization on Mobile Devices

15 years 10 months ago

Decision Support for Personalization on Mobile Devices

Download www.uni-koblenz.de

Thomas Kleemann, Alex Sinner

claim paper

Read More »

98

ICLP
2005
Springer

108views Automated Reasoning» more ICLP 2005»

Practical Higher-Order Pattern Unification with On-the-Fly Raising

15 years 10 months ago

Practical Higher-Order Pattern Unification with On-the-Fly Raising

Download www-users.cs.umn.edu

Gopalan Nadathur, Natalie Linnell

claim paper

Read More »

112

Voted

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

15 years 10 months ago

Denotational Semantics Using Horn Concurrent Transaction Logic

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

114

IFIP
2005
Springer

74views Programming Languages» more IFIP 2005»

Proof Obligations Preserving Compilation

15 years 10 months ago

Proof Obligations Preserving Compilation

Download cs.ioc.ee

Gilles Barthe, Tamara Rezk, Ando Saabas

claim paper

Read More »

127

IFIP
2005
Springer

87views Programming Languages» more IFIP 2005»

Recent Advances in Bound Constrained Optimization

15 years 10 months ago

Recent Advances in Bound Constrained Optimization

Download www.math.lsu.edu

William W. Hager, Hongchao Zhang

claim paper

Read More »

« Prev « First page 343 / 2125 Last » Next »