2171 search results - page 194 / 435 » A Generic Process Algebra |
107
Voted
ICCAD
1996
IEEE
15 years 7 months ago
1996
IEEE
This paper presents a new approach for diagnosing stuck-at and short faults in interconnects whose layouts are known. This structural approach exploits dierent graph coloring and ...
104
click to vote
EACL
1993
ACL Anthology
15 years 4 months ago
1993
ACL Anthology
This paper offers a provisional mathematical typology of metrical representations. First, a family of algebras corresponding to different versions of grid and bracketed grid theor...
141
Voted
BNCOD
2009
15 years 4 months ago
2009
Abstract. Database systems (DBSs) can play an essential role in facilitating the query and cache management in context-aware mobile information systems (CAMIS). Two of the fundamen...
118
Voted
ICASSP
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we show that the problem of detection and localization of multiple targets in a bistatic MIMO radar system can be solved by Parallel Factor (PARAFAC) analysis. Our ...
107
click to vote
ICAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Automation of versatile process management will aid greater efficiency and lower costs. It is widely expected that highly structured agreements should be executed and enforced aut...