575 search results - page 66 / 115 » Transition systems for designing and reasoning about norms |
109
click to vote
AUSAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The particle filter has attracted considerable attention in visual tracking due to its relaxation of the linear and Gaussian restrictions in the state space model. It is...
128
click to vote
WOA
2004
15 years 27 days ago
2004
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
PDC
2004
ACM
15 years 5 months ago
2004
ACM
The aim of Participatory Design (PD) is to involve the users in the design. Even though the research has shown the success of PD projects in empowering users, little has been said...
SC
2009
ACM
15 years 6 months ago
2009
ACM
In this paper, we discuss some of the lessons that we have learned working with the Hadoop and Sector/Sphere systems. Both of these systems are cloud-based systems designed to sup...
110
click to vote
IACR
2011
13 years 11 months ago
2011
Strong lattice reduction is the key element for most attacks against lattice-based cryptosystems. Between the strongest but impractical HKZ reduction and the weak but fast LLL redu...