Sciweavers

8824 search results - page 296 / 1765
» On the Complexity of Real Functions
Sort
View
DEBS
2008
ACM
15 years 8 months ago
A framework for performance evaluation of complex event processing systems
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
Marcelo R. N. Mendes, Pedro Bizarro, Paulo Marques
CORR
2010
Springer
155views Education» more  CORR 2010»
15 years 1 months ago
Exploiting Temporal Complex Network Metrics in Mobile Malware Containment
Malicious mobile phone worms spread between devices via short-range Bluetooth contacts, similar to the propagation of human and other biological viruses. Recent work has employed m...
John Tang, Cecilia Mascolo, Mirco Musolesi, Vito L...
196
Voted
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
16 years 6 days ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
TPHOL
2006
IEEE
16 years 20 days ago
ACL2
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
Ruben Gamboa
NIPS
1997
15 years 8 months ago
A Non-Parametric Multi-Scale Statistical Model for Natural Images
The observed distribution of natural images is far from uniform. On the contrary, real images have complex and important structure that can be exploited for image processing, reco...
Jeremy S. De Bonet, Paul A. Viola