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
13717
search results - page 34 / 2744
»
Control Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
139
click to vote
FROCOS
2009
Springer
133
views
Control Systems
»
more
FROCOS 2009
»
Runtime Verification Using a Temporal Description Logic
16 years 14 days ago
Download
disi.unitn.it
Franz Baader, Andreas Bauer 0002, Marcel Lippmann
claim paper
Read More »
134
click to vote
RP
2009
Springer
106
views
Control Systems
»
more
RP 2009
»
How to Tackle Integer Weighted Automata Positivity
16 years 13 days ago
Download
www.lsv.ens-cachan.fr
Yohan Boichut, Pierre-Cyrille Héam, Olga Ko...
claim paper
Read More »
125
click to vote
SSS
2009
Springer
88
views
Control Systems
»
more
SSS 2009
»
Relocation Analysis of Stabilizing MAC
16 years 13 days ago
Download
www.cs.chalmers.se
Pierre Leone, Marina Papatriantafilou, Elad Michae...
claim paper
Read More »
139
click to vote
CDC
2008
IEEE
95
views
Control Systems
»
more
CDC 2008
»
A locality generalization of the NCE (Mean Field) principle: Agent specific cost interactions
16 years 11 days ago
Download
www.math.carleton.ca
Minyi Huang, Peter E. Caines, Roland P. Malham&eac...
claim paper
Read More »
87
click to vote
CDC
2008
IEEE
139
views
Control Systems
»
more
CDC 2008
»
Distributed data association for Multi-target tracking in sensor networks
16 years 11 days ago
Download
people.sabanciuniv.edu
Nils F. Sandell, Reza Olfati-Saber
claim paper
Read More »
« Prev
« First
page 34 / 2744
Last »
Next »