Sciweavers

261 search results - page 8 / 53
» The Microsoft Database Research Group
Sort
View
CHI
2010
ACM
15 years 8 months ago
Graaasp: a web 2.0 research platform for contextual recommendation with aggregated data
In this paper we describe Graaasp, a social software currently under development to support the creation of a real usage database of social artifacts. Our goals are twofold: First...
Evgeny Bogdanov, Sandy El Helou, Denis Gillet, Chr...
CVPR
2009
IEEE
17 years 1 months ago
Multiplicative Nonnegative Graph Embedding
In this paper, we study the problem of nonnegative graph embedding, originally investigated in [14] for reaping the benefits from both nonnegative data factorization and the spe...
Changhu Wang (University of Science and Technology...
SIGSOFT
2005
ACM
16 years 6 months ago
Online testing with model programs
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
Margus Veanes, Colin Campbell, Wolfram Schulte, Ni...
ICDAR
2009
IEEE
15 years 3 months ago
HCL2000 - A Large-scale Handwritten Chinese Character Database for Handwritten Character Recognition
In this paper, we present a large scale off-line handwritten Chinese character database-HCL2000 which will be made public available for the research community. The database contai...
Honggang Zhang, Jun Guo, Guang Chen, Chun-Guang Li
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 11 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...