1671 search results - page 255 / 335 » On the Covering Steiner Problem |
139
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
XML transformations are very sensitive to types: XML types describe the tags and attributes of XML elements as well as the number, kind, and order of their sub-elements. Therefore,...
164
click to vote
ICCAD
2001
IEEE
16 years 2 months ago
2001
IEEE
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. Certain devic...
152
click to vote
TACAS
2010
Springer
16 years 26 days ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
160
click to vote
ISBRA
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. We investigate the problem of inferring contiguous ancestral regions (CARs) of the genome of the last common ancestor of all extant amniotes, based on the currently seque...
174
click to vote
DSN
2009
IEEE
16 years 19 days ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...