1169 search results - page 105 / 234 » Two Ways to Common Knowledge |
IJSM
2007
14 years 9 months ago
2007
We present an approach to find dense point-to-point correspondences between two deformed surfaces corresponding to different postures of the same nonrigid object in a fully autom...
CAI
1998
Springer
14 years 9 months ago
1998
Springer
Abstract. Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revisi...
ERCIMDL
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. The changes in Swedish education following the Bologna requirements resulted in the first Master's programmes in Library and Information Science. Two of them target ...
FSTTCS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
ICSE
1998
IEEE-ACM
15 years 2 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...