515 search results - page 48 / 103 » Efficient Logic Optimization Using Regularity Extraction |
173
click to vote
ACSC
2010
IEEE
14 years 9 months ago
2010
IEEE
Terrains are an essential part of outdoor environments. Terrain models are important for computer games and applications in architecture, urban design and archaeology. A popular a...
133
Voted
JFP
2000
15 years 2 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
109
Voted
IPMI
2003
Springer
16 years 3 months ago
2003
Springer
Abstract. We propose a novel bias correction method for magnetic resonance (MR) imaging that uses complementary body coil and surface coil images. The former are spatially homogene...
103
click to vote
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper addresses the problem of using the Location IDentifier (LID) as the domain value of the index for trajectories of RFID tags and proposes the solution for solving this p...
116
Voted
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...