3387 search results - page 109 / 678 » Automating the Metamodeling Process |
156
click to vote
ACL
1992
15 years 5 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...
111
click to vote
PROCEDIA
2010
15 years 2 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...
131
click to vote
IFIP
1997
Springer
15 years 8 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...
150
click to vote
CADE
2004
Springer
16 years 4 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 ...
117
click to vote
SIGCSE
2005
ACM
15 years 10 months 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...