1397 search results - page 187 / 280 » On the Need for Practical Formal Methods |
150
click to vote
MAGS
2008
15 years 4 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
165
click to vote
SAB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
238
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Density of moles is a strong predictor of malignant
melanoma. Some dermatologists advocate periodic fullbody
scan for high-risk patients. In current practice, physicians
compare...
245
click to vote
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
Recently, the skyline computation and analysis have been extended from one single full space to multidimensional subspaces, which can lead to valuable insights in some application...
235
click to vote
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
The All Nearest Neighbor (ANN) operation is a commonly used primitive for analyzing large multi-dimensional datasets. Since computing ANN is very expensive, in previous works R*-t...