3653 search results - page 129 / 731 » Learning of Partial Languages |
158
click to vote
VLC
2010
14 years 10 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...
146
click to vote
PADO
2001
Springer
15 years 7 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...
117
click to vote
IROS
2007
IEEE
15 years 9 months 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...
112
Voted
CNL
2009
15 years 4 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...
136
click to vote
TPHOL
2003
IEEE
15 years 8 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. ...