3073 search results - page 292 / 615 » Real World Verification |
139
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
150
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
The growing availability of mobile devices produces an enormous quantity of personal tracks which calls for advanced analysis methods capable of extracting knowledge out of massiv...
174
click to vote
EDBTW
2010
Springer
15 years 10 months ago
2010
Springer
The capability of correlating streaming web data with internal data in near real time gives enterprises a tremendous competitive advantage by enabling them to be aware of external...
173
click to vote
ICALT
2009
IEEE
15 years 10 months ago
2009
IEEE
One of the factors that affect successful collaborative learning is the composition of collaborative groups. Due to the lack of intelligent grouping according to learners’ pedag...
215
click to vote
BMVC
2002
15 years 9 months ago
2002
A likelihood formulation for human tracking is presented based upon matching feature statistics on the surface of an articulated 3D body model. A benefit of such a formulation ove...