2465 search results - page 239 / 493 » Automata on Linear Orderings |
KES
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a new algorithm for feature generation, which is approximately derived based on geometrical interpretation of the Fisher linear discriminant analysis. In a fiel...
115
Voted
SIGIR
2004
ACM
15 years 6 months ago
2004
ACM
Web communities are web virtual broadcasting spaces where people can freely discuss anything. While such communities function as discussion boards, they have even greater value as...
162
click to vote
CAV
1999
Springer
15 years 5 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
119
Voted
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
118
click to vote
IJCAI
2007
15 years 2 months ago
2007
In distributed combinatorial optimization problems, dynamic programming algorithms like DPOP ([Petcu and Faltings, 2005]) require only a linear number of messages, thus generating...