6167 search results - page 98 / 1234 » Can Refinement be Automated |
119
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
—Cochlear electrode insertion is a challenging manual procedure. One technique requires the physician to coordinate the motions of an electrode array approximately 1mm in diamete...
129
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...
147
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
135
click to vote
ESWS
2005
Springer
15 years 9 months ago
2005
Springer
Recent advances in e-learning techonologies and web services make realistic the idea that courseware for personalized e-learning can be built by dynamic composition of distributed ...
133
click to vote
BCS
2008
15 years 5 months ago
2008
Both Robots and Personal Computers established new markets about 30 years ago and were enabling factors in Automation and Information Technology. However, while you can see Person...