2562 search results - page 31 / 513 » Components of the Fundamental Category |
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
CCS
2010
ACM
13 years 7 months ago
2010
ACM
A web application is a "two-part" program, with its components deployed both in the browser and in the web server. The communication between these two components inevita...
CG
2004
Springer
13 years 7 months ago
2004
Springer
When interacting with natural or urban environments there are many situations where the ability to access data in real time becomes relevant. Augmented Reality (AR) technologies a...
SIGOPSE
1996
ACM
13 years 11 months ago
1996
ACM
The one issue that unites almost all approaches to distributed computing is the need to know whether certain components in the system have failed or are otherwise unavailable. Whe...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper describes an algorithm that performs a simple form of computational auditory scene analysis to separate multiple speech signals from one another on the basis of the mod...