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
148
click to vote
TIME
2009
IEEE
206
views
Automated Reasoning
»
more
TIME 2009
»
On First-Order Query Rewriting for Incomplete Database Histories
16 years 1 days ago
Download
conferenze.dei.polimi.it
Véronique Bruyère, Alexandre Decan, ...
claim paper
Read More »
129
Voted
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 »
90
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 »
129
Voted
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 »
151
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
15 years 12 months 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 »