2230 search results - page 209 / 446 » Reformulating Constraint Models Using Input Data |
143
Voted
MOBICOM
2010
ACM
15 years 3 months ago
2010
ACM
With widespread popularity of smart phones, more and more users are accessing the Internet on the go. Understanding mobile user browsing behavior is of great significance for seve...
141
click to vote
JMLR
2010
14 years 9 months ago
2010
We address an approximation method for Gaussian process (GP) regression, where we approximate covariance by a block matrix such that diagonal blocks are calculated exactly while o...
122
click to vote
3DPVT
2002
IEEE
15 years 8 months ago
2002
IEEE
We propose a fast 3D model acquisition system that aligns intensity and depth images, and reconstructs a textured 3D mesh. 3D views are registered with shape alignment based on in...
102
click to vote
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
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...
151
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
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...