2470 search results - page 113 / 494 » Liveness-Preserving Simulation Relations |
102
click to vote
CONEXT
2007
ACM
15 years 4 months ago
2007
ACM
Very recent activities in the IETF and in the Routing Research Group (RRG) of the IRTG focus on defining a new Internet architecture, in order to solve scalability issues related ...
132
click to vote
FORTE
2008
15 years 2 months ago
2008
Abstract. Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For th...
CORR
2008
Springer
15 years 23 days ago
2008
Springer
Large linguistic databases, especially databases having a global coverage such as The World Atlas of Language Structures (Haspelmath et al. 2005), The Automated Simility Judgment ...
91
Voted
ISI
2006
Springer
15 years 19 days ago
2006
Springer
It is quite consensual that police patrolling can be regarded as one of the best well-known practices for implementing public-safety preventive policies towards the combat of an as...
119
click to vote
IJVR
2007
15 years 17 days ago
2007
—In this paper, we focus on the different aspects of real time visualization and animation of realistic virtual characters. The common goal for our research was to come up with s...