Sciweavers

12745 search results - page 152 / 2549

» Automating test automation

122

Voted

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 »

139

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 »

118

GIS
2010
ACM

273views Automated Reasoning» more GIS 2010»

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

15 years 3 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 »

115

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Undecidability of Propositional Separation Logic and Its Neighbours

15 years 3 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 »

105

Voted

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Querying the Guarded Fragment

15 years 3 months ago

Querying the Guarded Fragment

Download www.mathematik.tu-darmstadt.de

Vince Bárány, Georg Gottlob, Martin ...

claim paper

Read More »

« Prev « First page 152 / 2549 Last » Next »