3091 search results - page 392 / 619 » The Microsoft Relational Engine |
206
click to vote
DGO
2011
14 years 6 months ago
2011
The past few years have experienced an explosive growth in scientific and regulatory documents related to the patent system. Relevant information is siloed into many heterogeneous...
200
click to vote
VSTTE
2012
Springer
14 years 2 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
211
click to vote
PAMI
2012
13 years 9 months ago
2012
—Pedestrian detection is a key problem in computer vision, with several applications that have the potential to positively impact quality of life. In recent years, the number of ...
187
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
A social network can become bases for information infrastructure in the future. It is important to extract social networks that are not biased. Providing a simple means for users ...
262
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Recommendation systems have become very popular but most recommendation methods are `hard-wired' into the system making experimentation with and implementation of new recomme...