7766 search results - page 432 / 1554 » Testing Nondeterminate Systems |
200
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...
199
click to vote
AVBPA
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Anti-spoofing protection of biometric systems is always a serious issue in real-life applications of an automatic personal verification system. Despite the fact that face...
160
click to vote
KES
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents a system for recognizing sketched logic circuits in real-time and graphically simulating them afterwords. It has been developed for use in university and school...
165
click to vote
GECCO
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we describe an ant system algorithm (ASMC) for the problem of finding the maximum clique in a given graph. In the algorithm each ant has only local knowledge of the ...
164
click to vote
WETICE
2003
IEEE
16 years 3 days ago
2003
IEEE
The ability of worms to spread at rates that effectively preclude human-directed reaction has elevated them to a first-class security threat to distributed systems. We present th...