3105 search results - page 540 / 621 » The Path-Packing Structure of Graphs |
145
click to vote
AIME
2009
Springer
15 years 9 months ago
2009
Springer
Note taking is a common way for physicians to collect information from their patients in medical inquiries and diagnoses. Many times, when describing the pathology in medical recor...
115
click to vote
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
137
click to vote
ICIC
2009
Springer
15 years 9 months ago
2009
Springer
Genetic Programming(GP) can obtain a program structure to solve complex problem. This paper presents a new form of Genetic Programming, Function Sequence Genetic Programming (FSGP)...
140
click to vote
SAGT
2009
Springer
15 years 9 months ago
2009
Springer
We consider the loss in social welfare caused by individual rationality in matching scenarios. We give both theoretical and experimental results comparing stable matchings with soc...
112
click to vote
SAT
2009
Springer
15 years 9 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....