17450 search results - page 457 / 3490 » Numerical Methods with Applications |
158
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...
150
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Dynamic Power Management or DPM refers to the problem of judicious application of various low power techniques based on runtime conditions in an embedded system to minimize the to...
148
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Spreadsheets are ubiquitous with evidence that Microsoft Excel, the leading application in the area, has an install base of 90% on end-user desktops. Nowhere is the usage of sprea...
164
click to vote
IPPS
2008
IEEE
16 years 20 days ago
2008
IEEE
With the evolution of Graphics Processing Units (GPUs) into powerful and cost-efficient computing architectures, their range of application has expanded tremendously, especially i...
150
Voted
CIDM
2007
IEEE
16 years 18 days ago
2007
IEEE
— This paper introduces a novel method, GAIS, for detecting interleaved sequential patterns from databases. A case, where data is of low quality and has errors is considered. Pat...