1181 search results - page 142 / 237 » constraints 2004 |
145
Voted
ADBIS
2004
Springer
15 years 7 months 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...
131
Voted
AINA
2004
IEEE
15 years 7 months 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...
152
Voted
CAV
2004
Springer
15 years 7 months 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. ...
166
Voted
CBMS
2004
IEEE
15 years 7 months 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...
141
Voted
CGI
2004
IEEE
15 years 7 months 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...