Sciweavers

261 search results - page 8 / 53
» The Microsoft Database Research Group
Sort
View
CHI
2010
ACM
15 years 13 days 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
16 years 5 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
15 years 10 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
14 years 7 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 3 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...