Sciweavers

5165 search results - page 698 / 1033
» Consistency of the Neighbor-Net Algorithm
Sort
View
135
Voted
IPPS
2005
IEEE
15 years 10 months ago
Practical Divisible Load Scheduling on Grid Platforms with APST-DV
Divisible load applications consist of a load, that is input data and associated computation, that can be divided arbitrarily into independent pieces. Such applications arise in m...
Krijn van der Raadt, Yang Yang, Henri Casanova
LICS
2005
IEEE
15 years 10 months ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe
154
Voted
SP
2005
IEEE
100views Security Privacy» more  SP 2005»
15 years 10 months ago
Polygraph: Automatically Generating Signatures for Polymorphic Worms
It is widely believed that content-signature-based intrusion detection systems (IDSes) are easily evaded by polymorphic worms, which vary their payload on every infection attempt....
James Newsome, Brad Karp, Dawn Xiaodong Song
WACV
2005
IEEE
15 years 10 months ago
Robust Salient Motion Detection with Complex Background for Real-Time Video Surveillance
Moving object detection is very important for video surveillance. In many environments, motion maybe either interesting (salient) motion (e.g., a person) or uninteresting motion (...
Ying-li Tian, Arun Hampapur
SIGIR
2005
ACM
15 years 10 months ago
On the collective classification of email "speech acts"
We consider classification of email messages as to whether or not they contain certain “email acts”, such as a request or a commitment. We show that exploiting the sequential ...
Vitor Rocha de Carvalho, William W. Cohen