Sciweavers

1894 search results - page 11 / 379

» Towards Mobile Reasoning

123

TPHOL
1993
IEEE

97views Automated Reasoning» more TPHOL 1993»

Toward a Super Duper Hardware Tactic

15 years 9 months ago

Toward a Super Duper Hardware Tactic

Download dblab.mgt.ncu.edu.tw

Mark Aagaard, Miriam Leeser, Phillip J. Windley

claim paper

Read More »

128

GIS
2009
ACM

141views Automated Reasoning» more GIS 2009»

Towards the SocioScope: an information system for the study of social dynamics through digital traces

15 years 8 months ago

Towards the SocioScope: an information system for the study of social dynamics through digital traces

Download www.cse.unt.edu

Andrea Vaccari, Francesco Calabrese, Bing Liu, Car...

claim paper

Read More »

101

GIS
2008
ACM

89views Automated Reasoning» more GIS 2008»

Towards trajectory anonymization: a generalization-based approach

15 years 6 months ago

Towards trajectory anonymization: a generalization-based approach

Download www.cs.purdue.edu

Mehmet Ercan Nergiz, Maurizio Atzori, Yücel S...

claim paper

Read More »

112

GIS
2007
ACM

111views Automated Reasoning» more GIS 2007»

Towards a general theory of geographic representation in GIS

15 years 5 months ago

Towards a general theory of geographic representation in GIS

Download www.geog.ucsb.edu

Michael F. Goodchild, May Yuan, Thomas J. Cova

claim paper

Read More »

196

ROBOCUP
2004
Springer

133views Robotics» more ROBOCUP 2004»

Towards a League-Independent Qualitative Soccer Theory for RoboCup

15 years 10 months ago

Towards a League-Independent Qualitative Soccer Theory for RoboCup

Download www.informatik.uni-bremen.de

The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...

Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer,...

claim paper

Read More »

« Prev « First page 11 / 379 Last » Next »