Sciweavers

1760 search results - page 331 / 352
» Program Analysis Using Weighted Pushdown Systems
Sort
View
COLT
1999
Springer
14 years 2 months ago
On a Generalized Notion of Mistake Bounds
This paper proposes the use of constructive ordinals as mistake bounds in the on-line learning model. This approach elegantly generalizes the applicability of the on-line mistake ...
Sanjay Jain, Arun Sharma
TACS
1997
Springer
14 years 2 months ago
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)
d Abstract) Alexander Aiken1 and Edward L. Wimmers2 and Jens Palsberg3 1 EECS Department, University of California at Berkeley, Berkeley, CA 94720-1776. 2 IBM Almaden Research Cent...
Alexander Aiken, Edward L. Wimmers, Jens Palsberg
EDO
2000
Springer
14 years 1 months ago
Component Metadata for Software Engineering Tasks
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
Alessandro Orso, Mary Jean Harrold, David S. Rosen...
LREC
2010
170views Education» more  LREC 2010»
13 years 11 months ago
Transcription Methods for Consistency, Volume and Efficiency
This paper describes recent efforts at Linguistic Data Consortium at the University of Pennsylvania to create manual transcripts as a shared resource for human language technology...
Meghan Lammie Glenn, Stephanie Strassel, Haejoong ...
ECIS
2000
13 years 11 months ago
Virtual Reality and the Tourism Product: Substitution or Complement?
this paper describes a small empirical study aimed at attempting to give an answer to the question: "will virtual reality provide a substitute for the tourism product"? I...
Silvia Sussmann, Hugo J. Vanhegan