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
1264
search results - page 33 / 253
»
Towards Theory Translation
Sort
relevance
views
votes
recent
update
View
thumb
title
22
click to vote
GIS
2007
ACM
111
views
Automated Reasoning
»
more
GIS 2007
»
Towards a general theory of geographic representation in GIS
13 years 8 months ago
Download
www.geog.ucsb.edu
Michael F. Goodchild, May Yuan, Thomas J. Cova
claim paper
Read More »
31
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 8 months ago
Download
www.stat.ucla.edu
Song Chun Zhu, Xiuwen Liu, Ying Nian Wu
claim paper
Read More »
21
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 8 months ago
Download
www.csc.ncsu.edu
Munindar P. Singh
claim paper
Read More »
28
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 8 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 »
15
click to vote
QUESTA
2007
62
views
more
QUESTA 2007
»
Towards a unifying theory on branching-type polling systems in heavy traffic
13 years 8 months ago
Download
www.few.vu.nl
Robert D. van der Mei
claim paper
Read More »
« Prev
« First
page 33 / 253
Last »
Next »