1795 search results - page 153 / 359 » On the Complexity of Circuit Satisfiability |
FOSSACS
2010
Springer
14 years 3 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
GRC
2005
IEEE
14 years 2 months ago
2005
IEEE
An incremental target recognition algorithm based on improved discernibility matrix in rough set theory is presented. We compare the new approach with our previous nonincremental a...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
A user-oriented multimodal interface (MMI) framework is proposed. Considering the complexities of media connotations and uncertainties of the user’s demands, content-based retri...
ICSM
2005
IEEE
14 years 2 months ago
2005
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
ICCS
2003
Springer
14 years 2 months ago
2003
Springer
E-Marketplace is a man-made profit center with emergent customer requirements. This emergence nature poses many difficulties for e-marketplace to satisfy its customers and thus aff...