12697 search results - page 110 / 2540 » Call for Papers |
175
click to vote
COMPSAC
2007
IEEE
16 years 21 days ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
143
click to vote
ICRA
2006
IEEE
16 years 11 days ago
2006
IEEE
— This paper discusses current wheeled mobility work on a hybrid wheeled-leg robot called PAW. In addition to providing design details, controllers are proposed for inclined turn...
134
click to vote
ICALT
2005
IEEE
15 years 12 months ago
2005
IEEE
Process-oriented learning designs (POLD) are used to describe innovative teaching activities (processes) that can be generalised and used across different disciplines. This paper ...
126
click to vote
ISMVL
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we introduce new analog devices that emulate natural chemical systems, called the reaction-diffusion (RD) system. The RD system gives us a lot of clues and insights...
174
click to vote
ALP
1992
Springer
15 years 10 months ago
1992
Springer
The paper presents a new schematization of in nite families of terms called the primal grammars, based on the notion of primitive recursive rewrite systems. This schematization is...