3951 search results - page 360 / 791 » Automatic amortized analysis |
172
click to vote
ICDM
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the special applications of data mining techniques in homeland defense. The problem targeted, which is frequently encountered in military/intelligence surveil...
176
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
Automatic tools for analyzing student online discussions are highly desirable for better assistance and scaffolding. This paper presents an approach for automatically identifying s...
153
Voted
EICS
2010
ACM
15 years 11 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
163
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
The length of the room impulse response characterizing the acoustic path between speaker and microphone is significantly larger than the length of the analysis window used for fea...
158
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...