23201 search results - page 4420 / 4641 » Rewriting Systems with Data |
226
click to vote
CAV
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
171
click to vote
ECML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Learning from multi-relational domains has gained increasing attention over the past few years. Inductive logic programming (ILP) systems, which often rely on hill-climbi...
144
click to vote
LCPC
2005
Springer
16 years 2 days ago
2005
Springer
Programming network processors remains a challenging task since their birth until recently when high-level programming environments for them are emerging. By employing domain speci...
180
click to vote
OTM
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
208
click to vote
VLBV
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, we compare temporal layered coding (TLC), as well as single-state coding (SSC), to multi-state video coding (MSVC) in the context of lossy video communications. MSV...