9532 search results - page 56 / 1907 » Logic, Graphs, and Algorithms |
DIAGRAMS
2008
Springer
15 years 27 days ago
2008
Springer
Diagrammatic logics have advantages over symbolic cousins. Peirce thought that logical diagrams (Existential Graphs, EG) are capable of "expression of all assertions", as...
101
click to vote
SAFECOMP
2005
Springer
15 years 4 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
112
click to vote
ENTCS
2007
14 years 10 months ago
2007
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we model the network adapting it to a weighted and-or graph, ...
ICTAI
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper presents a grammar-induction based approach to partitioning a Web page into several small pages while each small page fits not only spatially but also logically for mob...
LPAR
2004
Springer
15 years 4 months ago
2004
Springer
We propose a new parameter for the complexity of finite directed graphs which measures to what extent the cycles of the graph are intertwined. This measure, called entanglement, i...