1141 search results - page 77 / 229 » Analyzing Electroencephalograms Using Cloud Computing Techni... |
136
click to vote
ICSE
2011
IEEE-ACM
14 years 4 months ago
2011
IEEE-ACM
In this paper, we propose a new semantic clone detection e by comparing programs’ abstract memory states, which are computed by a semantic-based static analyzer. Our experimenta...
85
Voted
ECAI
1994
Springer
15 years 4 months ago
1994
Springer
1 We develop a learning component for a theorem prover designed for verifying statements by mathematical induction. If the prover has found a proof, it is analyzed yielding a so-ca...
110
Voted
VMV
2007
15 years 1 months ago
2007
This article focuses on algorithms for fast computation of the Euclidean distance between a query point and a subdivision surface. The analyzed algorithms include uniform tessella...
109
Voted
SIBGRAPI
2009
IEEE
15 years 7 months ago
2009
IEEE
Appearance information is essential for applications such as tracking and people recognition. One of the main problems of using appearance-based discriminative models is the ambig...
92
Voted
ICPR
2002
IEEE
16 years 1 months ago
2002
IEEE
In this paper, a new graph data structure for 2-D shape representation is proposed. The new structure is called a concavity graph, and is an evolution from the already known "...