677 search results - page 75 / 136 » Rigorous Object-Oriented Analysis |
93
Voted
DGO
2008
15 years 2 months ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
98
Voted
COMGEO
2004
ACM
15 years 18 days ago
2004
ACM
We present a new incremental algorithm for constructing the union of n triangles in the plane. In our experiments, the new algorithm, which we call the Disjoint-Cover (DC) algorit...
104
click to vote
PAMI
2007
15 years 8 days ago
2007
—The potential of brain electrical activity generated as a response to a visual stimulus is examined in the context of the identification of individuals. Specifically, a framewor...
88
Voted
LLC
2011
14 years 7 months ago
2011
Computational phonology approaches the study of sound patterns in the world’s languages from a computational perspective. This article explains this perspective and its relevanc...
213
Voted
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
Nearest neighbor (NN) search in high dimensional space is an important problem in many applications. Ideally, a practical solution (i) should be implementable in a relational data...