3387 search results - page 109 / 678 » Automating the Metamodeling Process |
201
Voted
ACL
1992
15 years 8 months ago
1992
We developed a fully automated Information Retrieval System which uses advanced natural language processing techniques to enhance the effectiveness of traditional key-word based d...
152
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
Throughout the last 40 years, the essence of automated identification of users has remained the same. In this article, a new class of biometrics is proposed that is founded on pr...
178
click to vote
IFIP
1997
Springer
15 years 11 months ago
1997
Springer
The factory of the future is going to have a high, but not full, degree of automation. There are three reasons for that. First, no great level of automation is compatible with req...
184
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
155
click to vote
SIGCSE
2005
ACM
16 years 9 days ago
2005
ACM
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...