Sciweavers

3922 search results - page 232 / 785
» Working Models for Uncertain Data
Sort
View
NAACL
2010
15 years 2 months ago
Topic Models for Image Annotation and Text Illustration
Image annotation, the task of automatically generating description words for a picture, is a key component in various image search and retrieval applications. Creating image datab...
Yansong Feng, Mirella Lapata
CHI
2007
ACM
16 years 5 months ago
Revisiting and validating a model of two-thumb text entry
MacKenzie and Soukoreff have previously introduced a Fitts' Law?based performance model of expert two?thumb text entry on mini?QWERTY keyboards [4]. In this work we validate ...
Edward Clarkson, Kent Lyons, James Clawson, Thad S...
VMCAI
2009
Springer
15 years 11 months ago
Model-Checking the Linux Virtual File System
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
Andy Galloway, Gerald Lüttgen, Jan Tobias M&u...
ICASSP
2009
IEEE
15 years 11 months ago
Pitch bends and tonguing articulation in clarinet physical modeling synthesis
A physical modeling approach is used to investigate playing effects in woodwind instruments. This builds upon prior work concerning both empirical studies of the acoustics of the ...
Mark Sterling, Xiaoxiao Dong, Mark Bocko
123
Voted
CAISE
2005
Springer
15 years 10 months ago
A General Approach to the Generation of Conceptual Model Transformations
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
Nikolaos Rizopoulos, Peter McBrien