Search Sciweavers | Sciweavers

970 search results - page 1 / 194

» cases 2011

110

click to vote

CLEF
2011
Springer

203views Information Technology» more CLEF 2011»

IRIT at ImageCLEF 2011: Medical Retrieval Task

13 years 11 months ago

Download clef2011.org

In this paper, we reported some experiments conducted by our members in the SIG team at the IRIT laboratory in the University of Toulouse within the context of the medical informat...

Duy Dinh, Lynda Tamine

claim paper

Read More »

182

Voted

NFM
2011

366views Formal Methods» more NFM 2011»

Automated Test Case Generation with SMT-Solving and Abstract Interpretation

14 years 6 months ago

Download www.informatik.uni-bremen.de

Jan Peleska, Elena Vorobev, Florian Lapschies

claim paper

Read More »

click to vote

TOCL
2011

81views more TOCL 2011»

Logic of infons: The propositional case

14 years 6 months ago

Download tocl.acm.org

Yuri Gurevich, Itay Neeman

claim paper

Read More »

click to vote

IOR
2011

69views more IOR 2011»

Routing and Staffing in Large-Scale Service Systems: The Case of Homogeneous Impatient Customers and Heterogeneous Servers

14 years 2 months ago

Download www.stern.nyu.edu

Mor Armony, Avishai Mandelbaum

claim paper

Read More »

click to vote

JORS
2011

90views more JORS 2011»

Adding value to bank branch performance evaluation using cognitive maps and MCDA: a case study

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers