Sciweavers

3634 search results - page 271 / 727
» The Field Representation Language
Sort
View
ICSE
2009
IEEE-ACM
15 years 4 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 1 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 29 days 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