Sciweavers

2624 search results - page 55 / 525
» The 2LIP model and its implementations
Sort
View
WCE
2007
13 years 10 months ago
Transformation Model Estimation for Point Matching Via Gaussian Processes
—One of main issues in point matching is the choice of the mapping function and the computation of its optimal hyperparameters. In this paper, we propose an attractive approach t...
Xin Yu, Jin-Wen Tian, Jian Liu
ACL
2012
12 years 1 days ago
IRIS: a Chat-oriented Dialogue System based on the Vector Space Model
This system demonstration paper presents IRIS (Informal Response Interactive System), a chat-oriented dialogue system based on the vector space model framework. The system belongs...
Rafael E. Banchs, Haizhou Li
NSDI
2008
13 years 12 months ago
Freezing More Than Bits: Chilling Effects of the OLPC XO Security Model
In this paper, we discuss Bitfrost, the security model developed by the One Laptop Per Child project for its XO laptop computers. Bitfrost implements a number of security measures...
Meredith L. Patterson, Len Sassaman, David Chaum
CRIWG
2006
13 years 11 months ago
Understanding the Trade-Offs of Blending Collaboration Services in Support of Contextual Collaboration
Contextual collaboration seamlessly integrates existing groupware technologies into a uniform user experience that combines synchronous and asynchronous interactions. This user exp...
Roberto Silveira Silva Filho, Werner Geyer, Beth B...
WRLA
2010
13 years 8 months ago
The Linear Temporal Logic of Rewriting Maude Model Checker
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
Kyungmin Bae, José Meseguer