3166 search results - page 205 / 634 » Translation By Structural Correspondences |
182
click to vote
LPNMR
2007
Springer
16 years 21 days ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
198
click to vote
QEST
2006
IEEE
16 years 18 days ago
2006
IEEE
As an execution platform, the Java Virtual Machine (JVM) provides many benefits in terms of portability and security. However, this advantage turns into an obstacle when it comes...
157
click to vote
ISCC
2005
IEEE
16 years 5 days ago
2005
IEEE
We report an innovative solely optical architecture to implement the centralized wavelength conversion module of the CWC (Controlled Wavelength Conversion) protocol [1]. The propo...
186
click to vote
CALCO
2005
Springer
16 years 3 days ago
2005
Springer
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...
180
click to vote
CIKM
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we present a “value mapping” algorithm that does not rely on syntactic similarity or semantic interpretation of the values. The algorithm first constructs a st...