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
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
4041
search results - page 6 / 809
»
time 2009
Sort
relevance
views
votes
recent
update
View
thumb
title
158
click to vote
TIME
2009
IEEE
206
views
Automated Reasoning
»
more
TIME 2009
»
On First-Order Query Rewriting for Incomplete Database Histories
16 years 19 days ago
Download
conferenze.dei.polimi.it
Véronique Bruyère, Alexandre Decan, ...
claim paper
Read More »
135
click to vote
PODS
2009
ACM
98
views
Database
»
more
PODS 2009
»
XPath evaluation in linear time with polynomial combined complexity
15 years 10 months ago
Download
www.mimuw.edu.pl
Pawel Parys
claim paper
Read More »
98
click to vote
CORR
2009
Springer
59
views
Education
»
more
CORR 2009
»
Markovian Testing Equivalence and Exponentially Timed Internal Actions
15 years 3 months ago
Download
www.sti.uniurb.it
Marco Bernardo
claim paper
Read More »
138
click to vote
IC3K
2009
96
views
Knowledge Management
»
more
IC3K 2009
»
Change of Topics over Time - Tracking Topics by their Change of Meaning
15 years 3 months ago
Download
asv.informatik.uni-leipzig.de
Gerhard Heyer, Florian Holz, Sven Teresniak
claim paper
Read More »
164
click to vote
LICS
2009
IEEE
118
views
Automated Reasoning
»
more
LICS 2009
»
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
16 years 17 days ago
Download
eprints.eemcs.utwente.nl
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...
claim paper
Read More »
« Prev
« First
page 6 / 809
Last »
Next »
