3557 search results - page 500 / 712 » Authoring Presentation for OpenMath |
140
click to vote
ISCAS
2008
IEEE
16 years 28 days ago
2008
IEEE
— Hilbert transformers are one of the very important special classes of finite impulse response (FIR) filters used in signal processing applications. A method is presented to s...
191
click to vote
ISPAN
2008
IEEE
16 years 28 days ago
2008
IEEE
Intuitively, a signed graph is a graph in which every edge is labeled with a + or − sign. For each edge, its sign represents the mode of the relationship between the vertices it...
174
click to vote
SECURWARE
2008
IEEE
16 years 27 days ago
2008
IEEE
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACLs could have inconsistencies, allowing traffic that should be denied o...
189
click to vote
TPHOL
2008
IEEE
16 years 27 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
183
click to vote
VTC
2008
IEEE
16 years 27 days ago
2008
IEEE
–In this paper we present an analytical model for delay tolerant message propagation in a dynamic vehicular network. The analysis provides upper and lower bounds for message prop...