7988 search results - page 293 / 1598 » A Useful Undecidable Theory |
141
click to vote
SIGIR
2002
ACM
15 years 5 months ago
2002
ACM
We present a novel sequential clustering algorithm which is motivated by the Information Bottleneck (IB) method. In contrast to the agglomerative IB algorithm, the new sequential ...
162
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
141
click to vote
INFORMATICALT
2002
15 years 5 months ago
2002
Two examples of open-loop differential games are considered in the paper. Starting with simplified dynamic Duel, further it was developed to differential economic Duel modelling pr...
169
Voted
SPLST
2003
15 years 6 months ago
2003
SMS (Short Message Service) is a widely used service for brief communication. Occasionally the data sent using SMS services is confidential in nature and is desired not to be disc...
168
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
— When multiple sources provide information about the same unknown quantity, their fusion into a synthetic interpretable message is often a tedious problem, especially when sourc...