11321 search results - page 343 / 2265 » Improvements to Turing's method |
162
click to vote
TSE
1998
15 years 6 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
509
click to vote
Publication
A wide range of computer vision applications require an accurate solution of a particular Hamilton-Jacobi (HJ) equation known as the Eikonal equation. In this paper, we propose an ...
214
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Research into optical markerless human motion capture has attracted significant attention. However, the complexity of the human anatomy, ambiguities introduced by lacking full-pe...
186
click to vote
ER
2004
Springer
16 years 7 days ago
2004
Springer
A sequence diagram in UML is used to model interactions among objects that participate in a use case. Developing a sequence diagram is complex; our experience shows that novice dev...
157
click to vote
ICEIS
1999
IEEE
15 years 11 months ago
1999
IEEE
: Filtering software is the most commonly used to protect children and young people from illegal and harmful contents on the Internet. Most of this software blocks access to Intern...