Sciweavers

3169 search results - page 119 / 634
» Robust Timed Automata
Sort
View
JALC
2007
90views more  JALC 2007»
15 years 2 months ago
Learning Unary Automata
We determine the complexity of learning problems for unary regular languages. We begin by investigating the minimum consistent dfa (resp. nfa) problem which is known not to be app...
Gregor Gramlich, Ralf Herrmann
ISSRE
2010
IEEE
15 years 1 months ago
Automata-Based Verification of Security Requirements of Composite Web Services
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. L...
112
Voted
ISNN
2005
Springer
15 years 8 months ago
Exponential Stability Analysis of Neural Networks with Multiple Time Delays
This paper considers the robust stability of neural networks with multiple delays. Based on Lyapunov stability theory and linear matrix inequality technique, some new delay indepe...
Huaguang Zhang, Zhanshan Wang, Derong Liu
110
Voted
CICLING
2003
Springer
15 years 7 months ago
Positive Grammar Checking: A Finite State Approach
Abstract. This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error. A corpus of Swedish text written by chi...
Sylvana Sofkova Hashemi, Robin Cooper, Robert Ande...
157
Voted
JMM2
2006
219views more  JMM2 2006»
15 years 2 months ago
Fully Automatic Real-Time 3D Object Tracking using Active Contour and Appearance Models
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
Giorgio Panin, Alois Knoll