Sciweavers

9687 search results - page 1576 / 1938
» On Natural Mobility Models
Sort
View
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 4 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
HCI
2009
15 years 4 months ago
Speech Input from Older Users in Smart Environments: Challenges and Perspectives
Abstract. Although older people are an important user group for smart environments, there has been relatively little work on adapting natural language interfaces to their requireme...
Ravichander Vipperla, Maria Wolters, Kallirroi Geo...
ICASSP
2009
IEEE
15 years 4 months ago
Social correlates of turn-taking behavior
The goal of this research is to infer traits about groups of people from their turn-taking behavior in natural conversation. These traits are latent attributes in a social network...
John Grothendieck, Allen L. Gorin, Nash M. Borges
ICEGOV
2009
ACM
15 years 4 months ago
Design of a web-based tendering system for e-government procurement
Procurement for e-Government is an important part of activities which are similar to the nature of B2B. That is usually characterized by bulk volumes with complex variables, burea...
Simon Fong, Zhuang Yan
ICIP
2009
IEEE
15 years 4 months ago
PCA Gaussianization for image processing
The estimation of high-dimensional probability density functions (PDFs) is not an easy task for many image processing applications. The linear models assumed by widely used transf...
Valero Laparra, Gustavo Camps-Valls, Jesús ...
« Prev « First page 1576 / 1938 Last » Next »