Sciweavers

1601 search results - page 105 / 321
» Locality Preserving Projections
Sort
View
AUSAI
2003
Springer
13 years 12 months ago
Decidability of Propositionally Quantified Logics of Knowledge
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
Tim French
CJ
2010
85views more  CJ 2010»
13 years 8 months ago
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes
A contract specifies an interorganizational process together with a distribution of responsibilities for the activities among the parties involved. In this paper, we formally show ...
Wil M. P. van der Aalst, Niels Lohmann, Peter Mass...
MOR
2008
94views more  MOR 2008»
13 years 8 months ago
Metastable Equilibria
We define a refinement of Nash equilibria called metastability. This refinement supposes that the given game might be embedded within any global game that leaves its local best-rep...
Srihari Govindan, Robert Wilson
AIED
2005
Springer
14 years 1 months ago
Technology at work to mediate collaborative scientific enquiry in the field
This paper describes and contrasts findings from two related projects where groups of science pupils investigated local air pollution using a collection of mobile sensors and devic...
Hilary Smith, Rosemary Luckin, Geraldine Fitzpatri...
VLDB
1998
ACM
139views Database» more  VLDB 1998»
14 years 15 days ago
Experiences in Federated Databases: From IRO-DB to MIRO-Web
From beginning of 1994 to the end of 1996, the IRO-DB ESPRIT project has developed tools for accessing relational and object-oriented databases in an integrated way. The system is...
Peter Fankhauser, Georges Gardarin, M. Lopez, J. M...