4041 search results - page 49 / 809 » time 2009 |
158
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
152
click to vote
STOC
2009
ACM
16 years 6 months ago
2009
ACM
We show how to compute the edit distance between two strings of length n up to a factor of 2 ~O( log n) in n1+o(1) time. This is the first sub-polynomial approximation algorithm f...
158
click to vote
DASFAA
2009
IEEE
16 years 20 days ago
2009
IEEE
Abstract. Web services are increasingly being used in business critical environments, enabling uniform access to services provided by distinct parties. In these environments, an op...
143
click to vote
IDA
2009
Springer
16 years 12 days ago
2009
Springer
This paper presents the theoretical background for the Model Based Underdetermined Source Separation presented in [5]. We show that for a given frequency band, in contrast to custo...
169
click to vote
ISMIS
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. Novelty detection in data stream mining denotes the identification of new or unknown situations in a stream of data elements flowing continuously in at rapid rate. This...