Sciweavers

20294 search results - page 240 / 4059
» Algorithmic Information Theory
Sort
View
ASIAN
2007
Springer
72views Algorithms» more  ASIAN 2007»
16 years 9 days ago
Information Flow Testing
Gurvan Le Guernic
COCO
1992
Springer
96views Algorithms» more  COCO 1992»
15 years 10 months ago
On Languages with Very High Information Content
Ronald V. Book, Jack H. Lutz
FAW
2008
Springer
90views Algorithms» more  FAW 2008»
15 years 8 months ago
Computer Science in the Information Age
John E. Hopcroft
SODA
2001
ACM
93views Algorithms» more  SODA 2001»
15 years 7 months ago
Distributed admission control, scheduling, and routing with stale information
Ashish Goel, Adam Meyerson, Serge A. Plotkin
LATA
2009
Springer
16 years 27 days ago
Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...
Bruno Courcelle