1115 search results - page 41 / 223 » An Abstract Look at Realizability |
ROMAN
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— We propose a “display robot” that directly anthropomorphizes objects using body parts that are like those of humans. It is constructed of devices that look like eye...
BIRTHDAY
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...
MKM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The amount of machine oriented data on the web as well as the deployment of agent/Web Services are simultaneously increasing. This poses a service-discovery problem for c...
PACT
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
ROBOCUP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This is the fifth anniversary of the Robocup Rescue Simulation Competitions and the tenth anniversary of the disaster that inspired the Competitions. This is a good time...