Sciweavers

8099 search results - page 236 / 1620
» Higher-Order Task Models
Sort
View
ECBS
2008
IEEE
86views Hardware» more  ECBS 2008»
16 years 1 months ago
A Formal Model for Network-Wide Security Analysis
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
Petr Matousek, Jaroslav Ráb, Ondrej Rysavy,...
ICRA
2006
IEEE
117views Robotics» more  ICRA 2006»
16 years 17 days ago
Novel Design and Modeling of a Mobile Parallel Manipulator
— A novel design of a mobile parallel manipulator (MPM), which is composed by a multi-degree of freedom (DOF) parallel robot and an autonomous wheeled mobile platform, is propose...
Yangmin Li, Qingsong Xu, Yugang Liu
IJCNN
2006
IEEE
16 years 17 days ago
Neural Network Model of Context-Dependent Neuronal Activity in Inferotemporal Cortex
— Neuronal activities related to context-dependent recall have been found in the monkey inferotemporal cortex. If we set the same task for an artificial neural network, however,...
Atsuo Suemitsu, Masahiko Morita
ACRI
2006
Springer
16 years 16 days ago
Modeling Robot Path Planning with CD++
Robotic systems are usually built as independent agents that collaborate to accomplish a specific task. Analysis of robot path planning consists of route planning and path generati...
Gabriel A. Wainer
APN
2003
Springer
15 years 11 months ago
Model Checking Safety Properties in Modular High-Level Nets
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
Marko Mäkelä