6719 search results - page 1049 / 1344 » A Generalization of Automatic Sequences |
235
click to vote
MHCI
2005
Springer
16 years 28 days ago
2005
Springer
Acontextuality of the mobile phone often leads to a caller’s uncertainty over a callee’s current state, which in turn often hampers mobile collaboration. We are interested in ...
219
click to vote
NOSSDAV
2005
Springer
16 years 27 days ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
237
click to vote
RTA
2005
Springer
16 years 27 days ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
216
click to vote
VMCAI
2005
Springer
16 years 27 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
258
click to vote
GECCO
2005
Springer
16 years 26 days ago
2005
Springer
A new approach based on Estimation Distribution Algorithms for constrained multiobjective shape optimization is proposed in this article. Pareto dominance and feasibility rules ar...