1243 search results - page 202 / 249 » Complexity reduction of C-Algorithm |
111
click to vote
FTDCS
2004
IEEE
15 years 5 months ago
2004
IEEE
Distributed embedded sensor networks are now being successfully deployed in environmental monitoring of natural phenomena as well as for applications in commerce and physical secu...
107
click to vote
CRYPTO
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
118
click to vote
ECML
2006
Springer
15 years 5 months ago
2006
Springer
In many complex machine learning applications there is a need to learn multiple interdependent output variables, where knowledge of these interdependencies can be exploited to impr...
136
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
128
click to vote
PACS
2000
Springer
15 years 4 months ago
2000
Springer
Increasing power dissipation has become a major constraint for future performance gains in the design of microprocessors. In this paper, we present the circuit design of an issue ...