9067 search results - page 709 / 1814 » Adaptive Model Checking |
171
click to vote
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a neuro-fuzzy system that can be used for student modeling. The proposed system enables classification of students based on qualitative observations of their c...
185
click to vote
GM
1999
Springer
15 years 11 months ago
1999
Springer
This paper is concerned with various aspects of the modeling of parallel curves on surfaces with special emphasis on surfaces of revolution. An algorithm for efficient tracking of...
210
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
This paper addresses the issue of tracking translation and rotation simultaneously. Starting with a kernel-based spatial-spectral model for object representation, we define an ?-n...
224
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This work recommends an architecture and its fundamental components for motion planning for mobile robots in dynamic environments. An adaptive behavior to typical motion patter...
214
click to vote
CCS
2006
ACM
15 years 11 months ago
2006
ACM
Since the formalization of ring signature by Rivest, Shamir and Tauman in 2001, there are lots of variations appeared in the literature. Almost all of the variations rely on the ra...