1181 search results - page 142 / 237 » constraints 2004 |
ADBIS
2004
Springer
14 years 18 days ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
AINA
2004
IEEE
14 years 18 days ago
2004
IEEE
The routing algorithms for multimedia communication should use for routing more than one QoS parameter. This is because new services such as video on demand and remote meeting sys...
CAV
2004
Springer
14 years 18 days ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
CBMS
2004
IEEE
14 years 18 days ago
2004
IEEE
A new algorithm is proposed for performing unsupervised tissue classification in medical images by integrating conventional clustering techniques with edge-adaptive segmentation t...
CGI
2004
IEEE
14 years 18 days ago
2004
IEEE
Using motion capture systems to animate humanlike figures still remains difficult when the movements are complex or need to be adapted to geometric constraints. We propose a new m...