Sciweavers

4573 search results - page 74 / 915

» Automated Reasoning

91

CL
1999
Springer

98views Automated Reasoning» more CL 1999»

Synchronization abstraction in the BETA programming language

15 years 4 months ago

Synchronization abstraction in the BETA programming language

Download www.itu.dk

Kasper Østerbye, Wolfgang Kreutzer

claim paper

Read More »

116

CL
1999
Springer

103views Automated Reasoning» more CL 1999»

Simulating multiple inheritance and generics in Java

15 years 4 months ago

Simulating multiple inheritance and generics in Java

Download www.iai.uni-bonn.de

Krishnaprasad Thirunarayan, Günter Kniesel, H...

claim paper

Read More »

134

CSL
1999
Springer

144views Automated Reasoning» more CSL 1999»

Confidence measures from local posterior probability estimates

15 years 4 months ago

Confidence measures from local posterior probability estimates

Download homepages.inf.ed.ac.uk

Gethin Williams, Steve Renals

claim paper

Read More »

109

GIS
2010
ACM

273views Automated Reasoning» more GIS 2010»

Bag-of-visual-words and spatial extensions for land-use classification

15 years 2 months ago

Bag-of-visual-words and spatial extensions for land-use classification

Download vision.ucmerced.edu

Yi Yang, Shawn Newsam

claim paper

Read More »

109

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Undecidability of Propositional Separation Logic and Its Neighbours

15 years 2 months ago

Undecidability of Propositional Separation Logic and Its Neighbours

Download www.doc.ic.ac.uk

James Brotherston, Max I. Kanovich

claim paper

Read More »

« Prev « First page 74 / 915 Last » Next »