8228 search results - page 1366 / 1646 » Structural Logical Relations |
158
Voted
ARC
2010
Springer
15 years 8 months ago
2010
Springer
Computing the solution to a system of linear equations is a fundamental problem in scientific computing, and its acceleration has drawn wide interest in the FPGA community [1–3]...
109
Voted
FASE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
CVPR
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper presents a fast method for detecting multi-view cars in real-world scenes. Cars are artificial objects with various appearance changes, but they have relatively consist...
128
Voted
ICDE
2009
IEEE
15 years 8 months ago
2009
IEEE
— A paramount challenge in probabilistic databases is the scalable computation of confidences of tuples in query results. This paper introduces an efficient secondary-storage o...
101
Voted
ICDE
2009
IEEE
15 years 8 months ago
2009
IEEE
— Spurred by financial scandals and privacy concerns, governments worldwide have moved to ensure confidence in digital records by regulating their retention and deletion. These...