16190 search results - page 2731 / 3238 » Applicative programming with effects |
121
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
In the past decade, energy-efficiency has been an important system design issue in both hardware and software managements. For mobile applications with critical missions, both ene...
165
click to vote
ACCV
2006
Springer
15 years 7 months ago
2006
Springer
Stochastic grammar has been used in many video analysis and event recognition applications as an efficient model to represent large-scale video activity. However, in previous works...
133
click to vote
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Anomaly-based Intrusion Detection (AID) techniques are useful for detecting novel intrusions without known signatures. However, AID techniques suffer from higher false alarm rate ...
123
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
149
Voted
APNOMS
2006
Springer
15 years 7 months ago
2006
Springer
Wireless sensor networks (WSNs) consist of a large collection of small nodes providing collaborative and distributed sensing ability in unpredictable environments. Given their unat...