3653 search results - page 129 / 731 » Learning of Partial Languages |
203
click to vote
VLC
2010
15 years 1 months ago
2010
Submission Deadline: December 14, 2009 The Journal of Visual Languages and Computing (http://www.elsevier.com/locate/jvlc, impact factor: 0.863) invites authors to submit papers fo...
186
click to vote
PADO
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
155
click to vote
IROS
2007
IEEE
16 years 20 days ago
2007
IEEE
— We present a new approach to cope with unknown redundant systems. For this we present i) an online algorithm that learns general input-output restrictions and, ii) a method tha...
147
click to vote
CNL
2009
15 years 7 months ago
2009
This paper presents a general framework called ontographs that relies on a graphical notation and enables the tool-independent and reliable evaluation of human understandability of...
171
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...