3653 search results - page 230 / 731 » On Recognizable Timed Languages |
176
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Deviation is a recent constraint to balance a set of variables with respect to a given mean. We show that the propagators recently introduced are not bound-consistent when the mean...
162
click to vote
CP
2005
Springer
16 years 23 days ago
2005
Springer
Methods exploiting tree-decompositions seem to provide the best approach for solving constraint networks w.r.t. the theoretical time complexity. However, they have not shown a real...
169
click to vote
ICALP
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We study the problem of determining the complexity of optimal comparison-based in-place sorting when the key length, k, is not a constant. We present the first algorithm...
214
click to vote
PLDI
2005
ACM
16 years 23 days ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
219
click to vote
CIKM
2011
Springer
14 years 7 months ago
2011
Springer
Topics in prior-art patent search are typically full patent applications and relevant items are patents often taken from sources in different languages. Cross language patent retr...