Sciweavers

2500 search results - page 313 / 500
» Specifying Behavior in C
Sort
View
AAAI
2000
15 years 5 months ago
Modeling Classification and Inference Learning
Human categorization research is dominated by work in classification learning. The field may be in danger of equating the classification learning paradigm with the more general ph...
Bradley C. Love, Arthur B. Markman, Takashi Yamauc...
FORTE
1998
15 years 5 months ago
Exploiting Symmetry in Protocol Testing
Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of s...
Judi Romijn, Jan Springintveld
MVA
1992
166views Computer Vision» more  MVA 1992»
15 years 5 months ago
Estimation and Interpretation of Optical Flow Fields for Counting Moving Objects
The main goal of sequence analysis is the motion estimation of moving objects which are present in the scene. One of the most important approaches for motion estimation is based o...
Alberto Del Bimbo, Paolo Nesi, Jorge L. C. Sanz
CEC
2008
IEEE
15 years 5 months ago
A technique for the visualization of population-based algorithms
— A technique for the visualization of stochastic population–based algorithms in multidimensional problems with known global minimizers is proposed. The technique employs proje...
Konstantinos E. Parsopoulos, Voula C. Georgopoulos...
DAGSTUHL
2009
15 years 5 months ago
Policy-Based Architectural Adaptation Management: Robotics Domain Case Studies
Robotics is a challenging domain that exhibits a clear need for self-adaptive capabilities, as self-adaptation offers the potential for robots to account for their unstable and unp...
John C. Georgas, Richard N. Taylor