4075 search results - page 786 / 815 » Modeling Distributed Algorithm Using B |
208
Voted
POPL
2005
ACM
16 years 24 days ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
103
click to vote
COMPGEOM
2003
ACM
15 years 5 months ago
2003
ACM
Docking is the process by which two or several molecules form a complex. Docking involves the geometry of the molecular surfaces, as well as chemical and energetical consideration...
111
click to vote
ESA
2003
Springer
15 years 5 months ago
2003
Springer
We propose a new complexity measure for movement of objects, the smoothed motion complexity. Many applications are based on algorithms dealing with moving objects, but usually data...
SIGMOD
2003
ACM
16 years 19 days ago
2003
ACM
The Aurora system [1] is an experimental data stream management system with a fully functional prototype. It includes both a graphical development environment, and a runtime syste...
88
Voted
KDD
2007
ACM
16 years 27 days ago
2007
ACM
We consider the problem of detecting anomalies in high arity categorical datasets. In most applications, anomalies are defined as data points that are 'abnormal'. Quite ...