6941 search results - page 354 / 1389 » Testing as a Certification Approach |
168
click to vote
CE
2007
15 years 6 months ago
2007
The rapid development of computer and Internet technologies has made e-Learning become an important learning method. There has been a considerable increase in the needs for multim...
189
click to vote
JAR
2000
15 years 6 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
210
click to vote
SIAMCOMP
2002
15 years 6 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
192
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper presents a saliency-based solution to boost trail detection. The proposed model builds on the empirical observation that trails are usually conspicuous structures in...
163
click to vote
SIAMSC
2010
15 years 5 months ago
2010
We introduce a new level set method for motion in normal direction. It is based on a formulation in the form of a second order forward-backward diffusion equation. The equation is...