12707 search results - page 2489 / 2542 » A Distributed Arc-Consistency Algorithm |
191
Voted
FASE
2004
Springer
15 years 6 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
128
Voted
CP
2006
Springer
15 years 6 months ago
2006
Springer
ion of a given partial assignment of values to variables. Compared with other symmetry breaking techniques, the big advantage of dynamic symmetry breaking is that it can accommodat...
145
click to vote
CIVR
2010
Springer
15 years 6 months ago
2010
Springer
One of the main challenges in interactive concept-based video search is the insufficient relevant sample problem, especially for queries with complex semantics. To address this pr...
140
Voted
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
144
Voted
FPGA
2006
ACM
15 years 6 months ago
2006
ACM
The development of Reed-Solomon (RS) codes has allowed for improved data transmission over a variety of communication media. Although Reed-Solomon decoding provides a powerful def...