14084 search results - page 297 / 2817 » A Theory for Game Theories |
192
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
The use of an alphabet of line segments to compose a curve is a possible approach for curve data compression. An existing state-of-the-art method considers a quadtree decompositio...
213
click to vote
BIRTHDAY
2007
Springer
16 years 28 days ago
2007
Springer
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
155
click to vote
CALCO
2007
Springer
16 years 28 days ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
176
click to vote
COORDINATION
2007
Springer
16 years 28 days ago
2007
Springer
We investigate, in a process algebraic setting, a new notion of compliance that we call strong service compliance: composed services are strong compliant if their composition is bo...
192
click to vote
CSL
2007
Springer
16 years 28 days ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...