20294 search results - page 180 / 4059 » Algorithmic Information Theory |
131
click to vote
FLAIRS
2004
15 years 6 months ago
2004
It is a vital and challenging issue in AI community to get the "Right Information" to the "Right People" in the "Right Language" in the "Right T...
151
click to vote
STOC
2009
ACM
16 years 5 months ago
2009
ACM
We consider matrix groups, specified by a list of generators, over finite fields. The two most basic questions about such groups are membership in and the order of the group. Even...
151
Voted
ACMSE
2005
ACM
15 years 10 months ago
2005
ACM
Accurate identification of misuse is a key factor in determining appropriate ways to protect systems. Modern intrusion detection systems often use alerts from different sources su...
153
click to vote
IJCAI
2003
15 years 6 months ago
2003
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...
172
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...