7991 search results - page 368 / 1599 » Using More Reasoning to Improve |
203
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
188
Voted
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
190
click to vote
ISIPTA
2005
IEEE
16 years 12 days ago
2005
IEEE
Pose estimation involves reconstructing the configuration of a moving body from images sequences. In this paper we present a general framework for pose estimation of unknown obje...
173
click to vote
ARITH
1997
IEEE
15 years 11 months ago
1997
IEEE
SRT dividers are common in modern floating point units. Higher division performance is achieved by retiring more quotient bits in each cycle. Previous research has shown that rea...
194
click to vote
EDBT
2006
ACM
15 years 10 months ago
2006
ACM
As data management applications grow more complex, they may need efficient distributed query processing, but also subscription management, data archival etc. To enact such applicat...