4117 search results - page 489 / 824 » On the Satisfiability of Complex Constraints |
155
click to vote
DIAL
2006
IEEE
16 years 28 days 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...
185
click to vote
ECRTS
2006
IEEE
16 years 28 days ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
162
click to vote
IPPS
2006
IEEE
16 years 27 days ago
2006
IEEE
We present a SAT-based approach to the task and message allocation problem of distributed real-time systems with hierarchical architectures. In contrast to the heuristic approache...
139
click to vote
IROS
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper deals with optimizing the task cycle time of industrial robots integrated in complex robot cells. Trajectory optimizers are usually based on models and can’t properly...
198
Voted
EMISA
2005
Springer
16 years 12 days ago
2005
Springer
: XML is an effective universal data-interchange format, and XML Schema has become the preeminent mechanism for describing valid XML document structures. Generalization/specializat...