Sciweavers

1247 search results - page 106 / 250
» A First Report on the A
Sort
View
DALT
2010
Springer
15 years 1 months ago
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
Commitment-based interaction protocols are a flexible way of representing the interaction of a set of agents, that are well-known and widely accepted by the research community. Nor...
Matteo Baldoni, Cristina Baroglio, Elisa Marengo
BIS
2008
134views Business» more  BIS 2008»
15 years 7 months ago
Trustlet, Open Research on Trust Metrics
A trust metric is a technique for predicting how much a user of a social network might trust another user. This is especially beneficial in situations where most users are unknown ...
Paolo Massa, Kasper Souren
DAC
2003
ACM
16 years 7 months ago
Large-scale SOP minimization using decomposition and functional properties
In some cases, minimum Sum-Of-Products (SOP) expressions of Boolean functions can be derived by detecting decomposition and observing the functional properties such as unateness, ...
Alan Mishchenko, Tsutomu Sasao
PADL
2009
Springer
16 years 7 months ago
Operational Semantics for Declarative Networking
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
Juan A. Navarro, Andrey Rybalchenko
CHI
2006
ACM
16 years 6 months ago
Visual search and reading tasks using ClearType and regular displays: two experiments
Two experiments comparing user performance on ClearType and Regular displays are reported. In the first, 26 participants scanned a series of spreadsheets for target information. S...
Andrew Dillon, Lisa Kleinman, Gil Ok Choi, Randolp...