Sciweavers

15754 search results - page 105 / 3151
» Programs are Knowledge Bases
Sort
View
144
Voted
FM
2003
Springer
96views Formal Methods» more  FM 2003»
15 years 9 months ago
Event Based Sequential Program Development: Application to Constructing a Pointer Program
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
Jean-Raymond Abrial
USENIX
1993
15 years 5 months ago
Wafe - An X Toolkit Based Frontend for Application Programs in Various Programming Languages
Wafe provides a flexible and easy to use interface to the X Toolkit (Xt) and the Athena widget set (Xaw) using the embeddable command language Tcl [1]. It allows access to Xt’s...
Gustaf Neumann, Stefan Nusser
ECIS
2000
15 years 5 months ago
A Completely Virtual Distance Education Program Based on the Internet - Case and Agenda of the International MBI Program
The Internet as a medium for communication and information distribution has opened up new opportunities for distance education programs. Not only is the scope of a program, in ter...
Karl Kurbel
JMLR
2012
13 years 6 months ago
Joint Learning of Words and Meaning Representations for Open-Text Semantic Parsing
Open-text semantic parsers are designed to interpret any statement in natural language by inferring a corresponding meaning representation (MR – a formal representation of its s...
Antoine Bordes, Xavier Glorot, Jason Weston, Yoshu...
128
Voted
ICIS
2001
15 years 5 months ago
Knowledge Integration as a Key Problem in an ERP Implementation
Whilepreviousstudieshavefocusedmainlyonthepotentialbenefitsandcriticalsuccessfactorsassociatedwith ERPimplementation,veryfewhaveexploredtheimportantissues of impediments encounter...
Shan Ling Pan, Sue Newell, Jimmy C. Huang, Alvin W...