1968 search results - page 171 / 394 » The Complexity of Valued Constraint Models |
105
click to vote
TIME
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
147
click to vote
ICCAD
2002
IEEE
15 years 10 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
DIAL
2006
IEEE
15 years 8 months ago
2006
IEEE
It is an important topic for segmentation on how to merge the over-segmented subimages of characters into integral characters. The conventional character segmentation has been mos...
102
click to vote
TACAS
2007
Springer
15 years 8 months 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...
113
Voted
SOFSEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...