647 search results - page 19 / 130 » Technical method of Zoetmorerope |
127
click to vote
APAL
2006
15 years 5 months ago
2006
We aim at a conceptually clear and technical smooth investigation of Ackermann's substitution method. Our analysis provides a direct classification of the provable recursive ...
162
click to vote
IFM
2007
Springer
15 years 11 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
120
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Software engineers have to select some appropriate development technologies to use in the work; however, engineers sometimes cannot find the appropriate technologies because there...
126
click to vote
AC
2001
Springer
15 years 10 months ago
2001
Springer
Research in Machine Learning methods to-date remains centered on technological issues and is mostly application driven. This letter summarizes successful applications of machine l...
150
click to vote
RCIS
2010
15 years 3 months ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...