1597 search results - page 239 / 320 » A Design Method for Object-Oriented Programming |
143
Voted
AUTOMATICA
2005
15 years 3 months ago
2005
In this paper we present a new method of interval fuzzy model identification. The method combines a fuzzy identification methodology with some ideas from linear programming theory...
145
Voted
TIP
2008
15 years 3 months ago
2008
Abstract--In this paper, we analyze the computational challenges in implementing particle filtering, especially to video sequences. Particle filtering is a technique used for filte...
139
Voted
AI
1999
Springer
15 years 3 months ago
1999
Springer
We present a new machine learning method that, given a set of training examples, induces a definition of the target concept in terms of a hierarchy of intermediate concepts and th...
122
Voted
TSD
2010
Springer
15 years 1 months ago
2010
Springer
Modern speech recognition applications are becoming very complex program packages. To understand the error behaviour of the ASR systems, a special diagnosis - a procedure or a tool...
133
Voted
UTP
2010
15 years 1 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...