2661 search results - page 301 / 533 » A Semantics for Abstraction |
157
click to vote
FUIN
2002
15 years 6 months ago
2002
Abstract. In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: trans...
178
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This position paper describes the challenges related to federated enterprise search over heterogeneous product information sources. It focuses on the aspect of finding re...
166
click to vote
IVA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Different turn-taking strategies of an agent influence the impression that people have of it. We recorded conversations of a human with an interviewing agent, controlled ...
190
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Vocabulary alignment is a main challenge in distributed access control as peers should understand each other’s policies unambiguously. Ontologies enable mutual underst...
159
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...