940 search results - page 107 / 188 » Local rely-guarantee reasoning |
102
Voted
ESANN
2006
15 years 2 months ago
2006
We explore the capability of the Self Organizing Map for structured data (SOM-SD) to compress continuous time data recorded from a kinematic tree, which can represent a robot or an...
116
click to vote
ICWS
2004
IEEE
15 years 2 months ago
2004
IEEE
Web services advocate loosely coupled systems, although current loosely coupled applications are limited to stateless services. The reason for this limitation is the lack of a met...
IJCAI
1997
15 years 2 months ago
1997
Themost costly aspect of gathering information over the Internet is that of transferring data over the networkto answer the user’s query. Wemaketwo contributions in this paperth...
109
Voted
UAI
2000
15 years 2 months ago
2000
Cooperative games are those in which both agents share the same payoff structure. Valuebased reinforcement-learning algorithms, such as variants of Q-learning, have been applied t...
ACS
2008
15 years 26 days ago
2008
Abstract Subobject transformation systems (sts) are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pu...