Sciweavers

2664 search results - page 432 / 533
» The Many Faces of Agents
Sort
View
LPAR
2007
Springer
16 years 14 days ago
Verifying Cryptographic Protocols with Subterms Constraints
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
GROUP
2005
ACM
15 years 12 months ago
Instant messaging bots: accountability and peripheral participation for textual user interfaces
Over the last several years, studies of instant messaging have observed its increasing role in the workplace[1] and in social situations[2]. We propose that modifying applications...
Stephen Chan, Benjamin Hill, Sarita Yardi
SIGECOM
2005
ACM
106views ECommerce» more  SIGECOM 2005»
15 years 12 months ago
On decentralized incentive compatible mechanisms
Algorithmic Mechanism Design focuses on Dominant Strategy Implementations. The main positive results are the celebrated Vickrey-Clarke-Groves (VCG) mechanisms and computationally ...
Ahuva Mu'alem
CVBIA
2005
Springer
15 years 12 months ago
Segmenting Brain Tumors with Conditional Random Fields and Support Vector Machines
Abstract. Markov Random Fields (MRFs) are a popular and wellmotivated model for many medical image processing tasks such as segmentation. Discriminative Random Fields (DRFs), a dis...
Chi-Hoon Lee, Mark Schmidt, Albert Murtha, Aalo Bi...
PCI
2005
Springer
15 years 11 months ago
A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
Nick Bassiliades, Efstratios Kontopoulos, Grigoris...