Sciweavers

3233 search results - page 168 / 647
» Validation Method for Intelligent Systems
Sort
View
125
Voted
AAAI
2000
15 years 4 months ago
Performance Comparison of Landmark Recognition Systems for Navigating Mobile Robots
Self-localisation is an essential competence for mobile robot navigation. Due to the fundamental unreliability of dead reckoning, a robot must depend on its perception of external...
Tom Duckett, Ulrich Nehmzow
FLAIRS
2000
15 years 4 months ago
Verification of Cooperating Systems - An Approach Based on Formal Languages
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
Peter Ochsenschläger, Jürgen Repp, Rolan...
111
Voted
AAAI
1997
15 years 4 months ago
Applications of Rule-Base Coverage Measures to Expert System Evaluation
Often a rule-based system is tested by checking its performance on a number of test cases with known solutions, modifying the system until it gives the correct results for all or ...
Valerie Barr
116
Voted
KDD
2004
ACM
207views Data Mining» more  KDD 2004»
16 years 3 months ago
Belief state approaches to signaling alarms in surveillance systems
Surveillance systems have long been used to monitor industrial processes and are becoming increasingly popular in public health and anti-terrorism applications. Most early detecti...
Kaustav Das, Andrew W. Moore, Jeff G. Schneider
140
Voted
MVA
2002
112views Computer Vision» more  MVA 2002»
15 years 3 months ago
Automatic Useful Shot Extraction for a Video Editing Support System
Video editing is a work to produce final videos with certain duration by finding and selecting appropriate shots from raw material videos and connecting them. In order to produce ...
Masahito Kumano, Yasuo Ariki