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
5423
search results - page 45 / 1085
»
Denial-of-service in automation systems
Sort
relevance
views
votes
recent
update
View
thumb
title
91
click to vote
WSC
2004
72
views
Modeling And Simulation
»
more
WSC 2004
»
Investigation of Error Rates When Controlling Multiple Uninhabited Combat Aerial Vehicles
15 years 3 months ago
Download
www.informs-sim.org
As systems become more and more complex the use of automation tools becomes more important. Although automation is introduced to reduce human workload, improve situational awarene...
Sasanka V. Prabhala, Jennie J. Gallimore
claim paper
Read More »
209
click to vote
ICCBR
2001
Springer
323
views
Automated Reasoning
»
more
ICCBR 2001
»
The Conflict Graph for Maintaining Case-Based Reasoning Systems
15 years 6 months ago
Download
www.iglezakis.net
Ioannis Iglezakis
claim paper
Read More »
86
click to vote
LACL
2001
Springer
97
views
Automated Reasoning
»
more
LACL 2001
»
Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars
15 years 6 months ago
Download
esslli2009.labri.fr
Jens Michaelis
claim paper
Read More »
123
click to vote
LPNMR
2001
Springer
160
views
Automated Reasoning
»
more
LPNMR 2001
»
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics
15 years 6 months ago
Download
www.cs.uni-potsdam.de
Christian Anger, Kathrin Konczak, Thomas Linke
claim paper
Read More »
77
click to vote
TPHOL
2000
IEEE
96
views
Automated Reasoning
»
more
TPHOL 2000
»
TAS - A Generic Window Inference System
15 years 6 months ago
Download
www.informatik.uni-bremen.de
Christoph Lüth, Burkhart Wolff
claim paper
Read More »
« Prev
« First
page 45 / 1085
Last »
Next »