4488 search results - page 543 / 898 » Properties of NP-Complete Sets |
180
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
250
click to vote
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
Due to the recent advances in microfluidics, digital microfluidic biochips are expected to revolutionize laboratory procedures. One critical problem for biochip synthesis is the dr...
202
click to vote
AUSAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Association rule mining is a data mining technique that reveals interesting relationships in a database. Existing approaches employ different parameters to search for int...
227
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
197
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...