Search Sciweavers | Sciweavers

4573 search results - page 108 / 915

» Automated Reasoning

100

click to vote

CSL
2006
Springer

95views Automated Reasoning» more CSL 2006»

NIST and NFI-TNO evaluations of automatic speaker recognition

15 years 3 months ago

Download lands.let.kun.nl

David A. van Leeuwen, Alvin F. Martin, Mark A. Prz...

claim paper

Read More »

click to vote

GIS
2007
ACM

113views Automated Reasoning» more GIS 2007»

Metric details of topological line-line relations

15 years 3 months ago

Download www.spatial.maine.edu

Konstantinos A. Nedas, Max J. Egenhofer, D. Wilmse...

claim paper

Read More »

117

click to vote

CL
2004
Springer

80views Automated Reasoning» more CL 2004»

Verifying persistent security properties

15 years 3 months ago

Download www.di.unipi.it

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sa...

claim paper

Read More »

Voted

CSL
2004
Springer

75views Automated Reasoning» more CSL 2004»

Unsupervised and supervised exploitation of semantic domains in lexical disambiguation

15 years 3 months ago

Download wndomains.fbk.eu

Alfio Massimiliano Gliozzo, Carlo Strapparava, Ido...

claim paper

Read More »

click to vote

GIS
2007
ACM

111views Automated Reasoning» more GIS 2007»

Towards a general theory of geographic representation in GIS

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers