1805 search results - page 95 / 361 » Functional programming with structured graphs |
POPL
2010
ACM
14 years 8 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
ICIP
2009
IEEE
13 years 8 months ago
2009
IEEE
The development of street-level geoviewers become recently a very active and challenging research topic. In this context, the detection, representation and classification of windo...
TOMS
2010
13 years 9 months ago
2010
The Tutte polynomial of a graph, also known as the partition function of the q-state Potts model, is a 2-variable polynomial graph invariant of considerable importance in both comb...
ICALP
2010
Springer
14 years 2 months ago
2010
Springer
We present an O(m + n)-time algorithm that tests if a given directed graph is 2-vertex connected, where m is the number of arcs and n is the number of vertices. Based on this resul...
GG
2004
Springer
14 years 4 months ago
2004
Springer
Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various ...