Search Sciweavers | Sciweavers

In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...

Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlra...

claim paper

Read More »

click to vote

TCOS
2008

93views Computer Science» more TCOS 2008»

Toward a Generic Mathematical Model of Abstract Game Theories

14 years 11 months ago

Download enel.ucalgary.ca

Yingxu Wang

claim paper

Read More »

click to vote

COMPUTER
2000

64views more COMPUTER 2000»

Toward a More Reliable Theory of Software Reliability

14 years 11 months ago

Download tmp-www.cpe.ku.ac.th

James A. Whittaker, Jeffrey M. Voas

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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers