Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
700
search results - page 23 / 140
»
Towards a theory of
Sort
relevance
views
votes
recent
update
View
thumb
title
20
click to vote
COMPUTER
2000
64
views
more
COMPUTER 2000
»
Toward a More Reliable Theory of Software Reliability
13 years 7 months ago
Download
tmp-www.cpe.ku.ac.th
James A. Whittaker, Jeffrey M. Voas
claim paper
Read More »
20
click to vote
GIS
2007
ACM
111
views
Automated Reasoning
»
more
GIS 2007
»
Towards a general theory of geographic representation in GIS
13 years 7 months ago
Download
www.geog.ucsb.edu
Michael F. Goodchild, May Yuan, Thomas J. Cova
claim paper
Read More »
27
click to vote
PAMI
2000
87
views
more
PAMI 2000
»
Exploring Texture Ensembles by Efficient Markov Chain Monte Carlo-Toward a 'Trichromacy' Theory of Texture
13 years 7 months ago
Download
www.stat.ucla.edu
Song Chun Zhu, Xiuwen Liu, Ying Nian Wu
claim paper
Read More »
17
click to vote
CI
1998
44
views
more
CI 1998
»
Toward a Model Theory of Actions: How Agents do it in Branching Time
13 years 7 months ago
Download
www.csc.ncsu.edu
Munindar P. Singh
claim paper
Read More »
25
click to vote
IANDC
1998
72
views
more
IANDC 1998
»
On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis
13 years 7 months ago
Download
profs.sci.univr.it
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
Maria Paola Bonacina, Jieh Hsiang
claim paper
Read More »
« Prev
« First
page 23 / 140
Last »
Next »