4460 search results - page 162 / 892 » Formal methods for interactive systems |
171
click to vote
PPSN
1994
Springer
15 years 8 months ago
1994
Springer
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
151
click to vote
HCW
1998
IEEE
15 years 8 months ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
108
click to vote
HAPTICS
2007
IEEE
15 years 10 months ago
2007
IEEE
In the expert skill transfer, it takes a great deal of time and effort to obtain new skills for beginners. In particular, it is difficult to teach the skills by using only words....
134
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— In this paper, the coupling between Jacobian learning and task sequencing through the redundancy approach is studied. It is well known that visual servoing is robust to...
134
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...