7167 search results - page 1061 / 1434 » Answer Set Programming |
158
click to vote
ISMB
1993
15 years 4 months ago
1993
The minimal-length encoding approach is applied to define concept of sequence similarity. Asequence is defined to be similar to another sequence or to a set of keywords if it can ...
91
Voted
AAAI
1990
15 years 4 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
139
Voted
SPLC
2007
15 years 4 months ago
2007
Software product lines aim to create highly configurable programs from a set of features. Common belief and recent studies suggest that aspects are well-suited for implementing f...
121
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
149
Voted
CCCG
2009
15 years 4 months ago
2009
Clarkson's algorithm is a two-staged randomized algorithm for solving linear programs, but it can also be applied to the more general LP-type problems which comprise a number...