1986 search results - page 282 / 398 » Path Separability of Graphs |
CLEIEJ
2008
15 years 2 months ago
2008
Documents in HTML format have many features to analyze, from the terms in special sections to the phrases that appear in the whole document. However, it is important to decide whi...
105
click to vote
DM
2008
15 years 2 months ago
2008
Extremal Combinatorics is one of the central areas in Discrete Mathematics. It deals with problems that are often motivated by questions arising in other areas, including Theoreti...
117
click to vote
FMSD
2008
15 years 2 months ago
2008
Abstract. This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start...
110
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
144
click to vote
JBI
2007
15 years 2 months ago
2007
Visualization can largely improve biomedical data analysis. It plays a crucial role in explorative data analysis and may support various data mining tasks. The paper presents Free...