3128 search results - page 374 / 626 » Finite element method |
153
click to vote
TPHOL
2000
IEEE
15 years 9 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
167
Voted
CLEIEJ
2010
15 years 3 months ago
2010
Software Process Improvement, based on a Maturity Level or a Process Capability Profile, from a Capability Maturity Model or an ISO/IEC 15504-based model, is well established in t...
155
Voted
IEICET
2008
15 years 6 months ago
2008
Finite impulse response (FIR) filtering is the most computationally intensive operation in the channelizer of a wireless communication receiver. Higher order FIR channel filters a...
159
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Periodogram analysis of time-series is widespread in biology. A new challenge for analyzing the microarray time series data is to identify genes that are periodically ...
258
Voted
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Recent data stream systems such as TelegraphCQ have employed the well-known property of duality between data and queries. In these systems, query processing methods are classified...