2542 search results - page 19 / 509 » One step ahead |
EPIA
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
NDSS
2000
IEEE
14 years 1 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...
SPLC
2008
13 years 10 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
PDPTA
2003
13 years 10 months ago
2003
The class of complex modified Korteweg-de Vries (CMKdV) equations has many applications. One form of the CMKdV equation has been used to create models for the nonlinear evolution...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
During the last decade, speaker verification systems have shown significant progress and have reached a level of performance and accuracy that support their utilization in pract...