4480 search results - page 545 / 896 » Prototyping Completion with Constraints Using Computational ... |
226
click to vote
MCMASTER
1993
15 years 10 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
173
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Periodic phenomena are widespread in biology. The problem of finding periodicity in biological time series can be viewed as a multiple hypothesis testing of the spectr...
179
click to vote
ICDCS
1995
IEEE
15 years 10 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
168
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper, we discuss a Distributed Monte Carlo (DMC) tracking method which achieves real-time and accurate face tracking for wearable active vision systems. The DMC is an ext...
150
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract In this document we make a brief review of memory management and DMA considerations in case of common SCI hardware and the Virtual Interface Architecture. On this basis we...