Search Sciweavers | Sciweavers

4573 search results - page 110 / 915

» Automated Reasoning

105

click to vote

CL
2008
Springer

95views Automated Reasoning» more CL 2008»

Stateful traits and their formalization

15 years 4 months ago

Download scg.unibe.ch

Alexandre Bergel, Stéphane Ducasse, Oscar N...

claim paper

Read More »

click to vote

GIS
2010
ACM

102views Automated Reasoning» more GIS 2010»

Determining the spatial reader scopes of news sources using local lexicons

15 years 3 months ago

Download www.cs.umd.edu

Gianluca Quercini, Hanan Samet, Jagan Sankaranaray...

claim paper

Read More »

click to vote

GIS
2010
ACM

118views Automated Reasoning» more GIS 2010»

Selecting tracking principals with epoch awareness

15 years 3 months ago

Download users.eecs.northwestern.edu

Oliviu Ghica, Goce Trajcevski, Fan Zhou, Roberto T...

claim paper

Read More »

Voted

GIS
2010
ACM

107views Automated Reasoning» more GIS 2010»

An ensemble approach to space-time interpolation

15 years 3 months ago

Download geodacenter.asu.edu

Elizabeth A. Wentz, Donna J. Peuquet, Sharolyn And...

claim paper

Read More »

122

Voted

RR
2010
Springer

239views Automated Reasoning» more RR 2010»

A RPL through RDF: Expressive Navigation in RDF Graphs

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers