14298 search results - page 2643 / 2860 » Dynamic Languages and Applications |
165
click to vote
LISP
2002
15 years 6 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
192
click to vote
TKDE
1998
15 years 6 months ago
1998
—This paper describes a unified data model that represents multimedia, timeline, and simulation data utilizing a single set of related data modeling constructs. A uniform model f...
191
click to vote
SPE
2002
15 years 6 months ago
2002
Development environments based on ActiveX controls and JavaBeans are marketed as "visual programming" platforms; in practice their visual dimension is limited to the des...
172
click to vote
TASLP
2002
15 years 6 months ago
2002
Abstract--We describe some high-level approaches to estimating confidence scores for the words output by a speech recognizer. By "high-level" we mean that the proposed me...
196
click to vote
TOG
2002
15 years 6 months ago
2002
This paper introduces a new kind of mosaic, called Jigsaw Image Mosaic (JIM), where image tiles of arbitrary shape are used to compose the final picture. The generation of a Jigsa...