5122 search results - page 355 / 1025 » Comparing Consequence Relations |
185
click to vote
SFM
2007
Springer
16 years 26 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
172
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper proposes a novel adaptive algorithm based on a new soft-regulator (σ, ρ, λ) for concurrent multimedia flows at end hosts. Our algorithm has the following features: ...
170
click to vote
IWPC
2006
IEEE
16 years 23 days ago
2006
IEEE
Several approaches to program comprehension have been proposed along the years, ranging from fact extraction to sophisticated visualization tools. In order to effectively assess t...
169
click to vote
SKG
2006
IEEE
16 years 23 days ago
2006
IEEE
Convolution kernels, such as tree kernel and subsequence kernel are useful for natural language processing tasks. However, most of them ignore the semantic knowledge. In order to ...
148
Voted
DATE
2005
IEEE
16 years 11 days ago
2005
IEEE
We provide a general formulation for the code-based test compression problem with fixed-length input blocks and propose a solution approach based on Evolutionary Algorithms. In c...