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
14382
search results - page 169 / 2877
»
Time in Connectionist Models
Sort
relevance
views
votes
recent
update
View
thumb
title
120
click to vote
IJSYSC
2000
55
views
more
IJSYSC 2000
»
Integration of multi-time-scale models in time series forecasting
15 years 6 months ago
Download
www.eeng.nuim.ie
Fiona T. Murray, John V. Ringwood, Paul C. Austin
claim paper
Read More »
116
click to vote
ENTCS
2002
89
views
more
ENTCS 2002
»
Bounded Model Checking for Timed Automata
15 years 6 months ago
Download
www.csl.sri.com
Maria Sorea
claim paper
Read More »
118
click to vote
CI
1998
44
views
more
CI 1998
»
Toward a Model Theory of Actions: How Agents do it in Branching Time
15 years 6 months ago
Download
www.csc.ncsu.edu
Munindar P. Singh
claim paper
Read More »
129
click to vote
DC
1998
77
views
Internet Technology
»
more
DC 1998
»
Model Checking for a Probabilistic Branching Time Logic with Fairness
15 years 6 months ago
Download
www.uni-koblenz.de
Christel Baier, Marta Z. Kwiatkowska
claim paper
Read More »
125
click to vote
AUTOMATICA
1999
50
views
more
AUTOMATICA 1999
»
Verification of logic controllers for continuous plants using timed condition/event-system models
15 years 6 months ago
Download
www-verimag.imag.fr
Stefan Kowalewski, Sebastian Engell, Jörg Pre...
claim paper
Read More »
« Prev
« First
page 169 / 2877
Last »
Next »
