Sciweavers

3634 search results - page 271 / 727
» The Field Representation Language
Sort
View
ICSE
2009
IEEE-ACM
15 years 5 months ago
Configuration and adaptation of binary software components
Existing black-box adaptation techniques are insufficiently powerful for a large class of real-world tasks. Meanwhile, white-box techniques are language-specificand overly invasiv...
Stephen Kell
IJPRAI
2010
105views more  IJPRAI 2010»
15 years 4 months ago
An Ontology-Based Model for Representing Image Processing Application Objectives
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
Régis Clouard, Arnaud Renouf, Marinette Rev...
POPL
2007
ACM
16 years 7 months ago
Towards a mechanized metatheory of standard ML
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
Daniel K. Lee, Karl Crary, Robert Harper
ICTA
2009
IEEE
16 years 2 months ago
SL Teacher: a Framework for teaching LSF on the Web
In this paper, we present SL Teacher, a framework for teaching French sign language using web 2.0 and virtual signer technologies. We present here the main features of the web-bas...
Jean-Paul Sansonnet, Annelies Braffort, Jér...
SEMCO
2007
IEEE
16 years 1 months ago
Modeling Discriminative Global Inference
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
Nicholas Rizzolo, Dan Roth