Sciweavers

369 search results - page 29 / 74
» Canonical finite state machines for distributed systems
Sort
View
FSKD
2007
Springer
277views Fuzzy Logic» more  FSKD 2007»
14 years 1 months ago
Autonomous Robot Control Using Evidential Reasoning
Evidence theory has been widely applied to uncertainty reasoning. In this paper a finite state machine with evidential reasoning is proposed to control autonomous robots. The Khep...
Qingxiang Wu, David A. Bell, Rashid Hafeez Khokhar...
INFOCOM
2006
IEEE
14 years 1 months ago
Network Protocol System Fingerprinting - A Formal Approach
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
Guoqiang Shu, David Lee
CIG
2005
IEEE
14 years 1 months ago
A Hybrid AI System for Agent Adaptation in a First Person Shooter
The aim of developing an agent that is able to adapt its actions in response to their effectiveness within the game provides the basis for the research presented in this paper. It ...
Abdennour El Rhalibi, Michael Burkey
COMCOM
1998
117views more  COMCOM 1998»
13 years 7 months ago
Specification, validation, and verification of time-critical systems
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
Shiuh-Pyng Shieh, Jun-Nan Chen
RIAO
2000
13 years 9 months ago
An Intelligent Text Extraction and Navigation System
We present sppc, a high-performance system for intelligent text extraction and navigation from German free text documents. sppc consists of a set of domainindependent shallow core...
Jakub Piskorski, Günter Neumann