Sciweavers

26354 search results - page 306 / 5271
» How we refactor, and how we know it
Sort
View
APGV
2010
ACM
171views Visualization» more  APGV 2010»
15 years 1 months ago
Perceptual principles for scalable sequence alignment visualization
Sequence alignment visualization is an important tool for understanding genomics data. Current approaches have difficulty scaling to the larger data sets becoming available. In th...
Danielle Albers, Michael Gleicher
AGENTS
2000
Springer
15 years 11 months ago
The Socio-cognitive Dynamics of Trust: Does Trust Create Trust?
We will examine in this paper three crucial aspects of trust dynamics: a) How A’s trusting B and relying on it in situation can actually (objectively) influence B’s trustworth...
Rino Falcone, Cristiano Castelfranchi
ECAI
2006
Springer
15 years 10 months ago
Modal Logics for Communicating Rule-Based Agents
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
Natasha Alechina, Mark Jago, Brian Logan
IPL
2006
71views more  IPL 2006»
15 years 6 months ago
Analysis of improved signcryption scheme with key privacy
In this paper, we analyse the Yang
Chik How Tan
AML
2005
69views more  AML 2005»
15 years 6 months ago
On the relationship between fixed points and iteration in admissible set theory without foundation
In this article we show how to use the result in J
Dieter Probst