Sciweavers

3591 search results - page 355 / 719
» Typing linear constraints
Sort
View
CC
2005
Springer
106views System Software» more  CC 2005»
16 years 11 days ago
Source-Level Debugging for Multiple Languages with Modest Programming Effort
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
Sukyoung Ryu, Norman Ramsey
JSAI
2005
Springer
16 years 10 days ago
Representing Information Structure in a Formal Grammar of Danish
This paper presents a proposal for the integration of information structure in a unification-based grammar of Danish. Three information structure features – topic, focus and bac...
Patrizia Paggio
KES
2005
Springer
16 years 10 days ago
Using Relevance Feedback to Learn Both the Distance Measure and the Query in Multimedia Databases
Much of the world’s data is in the form of time series, and many other types of data, such as video, image, and handwriting, can easily be transformed into time series. This fact...
Chotirat (Ann) Ratanamahatana, Eamonn J. Keogh
PADL
2004
Springer
16 years 6 days ago
An Algebraic Theory of Polymorphic Temporal Media
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
Paul Hudak
ICDAR
2003
IEEE
16 years 4 days ago
A New Classifier Simulator for Evaluating Parallel Combination Methods
The use of artificial outputs generated by a classifier simulator has recently emerged as a new trend to provide an underlying evaluation of classifier combination methods. In thi...
Héla Zouari, Laurent Heutte, Yves Lecourtie...