4325 search results - page 278 / 865 » Incremental computation with names |
153
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
The performance of face verification systems has steadily improved over the last few years, mainly focusing on models rather than on feature processing. State-of-the-art methods o...
148
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
We identify a new type of stateful IDS evasion, named signature evasion. We formalize the signature evasion on those Stateful IDSs whose state can be modeled using Deterministic F...
177
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
We motivate the need for new environments for collaborative reasoning and describe the foundations of our approach, namely collaboration, semantics, and adaptability. We describe ...
162
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
Building realistic Internet topologies is an important step towards predicting the behavior of new distributed applications and protocols. We are creating topologies that predict ...
157
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Port automata are an operational model for component connectors in a coordination language such as Reo. They describe which sets of ports can synchronize in each state of the conn...