53327 search results - page 10401 / 10666 » or 2007 |
173
click to vote
STACS
2007
Springer
16 years 8 days ago
2007
Springer
We consider the problem of computing an approximate minimum cycle basis of an undirected non-negative edge-weighted graph G with m edges and n vertices; the extension to directed ...
147
click to vote
TACAS
2007
Springer
16 years 8 days ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
189
click to vote
TACAS
2007
Springer
16 years 8 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
157
click to vote
TAMC
2007
Springer
16 years 8 days ago
2007
Springer
We study non-overlapping axis-parallel packings of 3D boxes with profits into a dedicated bigger box where rotation is either forbidden or permitted; we wish to maximize the total...
168
click to vote
TAMC
2007
Springer
16 years 8 days ago
2007
Springer
In previous work we have introduced an average-case measure for the time complexity of Boolean circuits – that is the delay between feeding the input bits into a circuit and the ...