11345 search results - page 1734 / 2269 » Foundations of Computer Science |
120
click to vote
AAAI
1990
15 years 7 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 ...
179
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
188
click to vote
ICALT
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--jEditOQMath is an authoring tool for the intelligent learning environment ActiveMath. Its editing interface is a simple source editor. However the wealth and power of the...
177
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
A genetic algorithm (GA) is utilised to discover known and novel PROSITE-like sequence templates that can be used to classify the sub-cellular location of eukaryotic proteins. Whi...
140
click to vote
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Twitter offers an explicit mechanism to facilitate information diffusion and has emerged as a new medium for communication. Many approaches to find influentials have been proposed...