Sciweavers

3619 search results - page 484 / 724
» Humor modeling in the interface
Sort
View
LCTRTS
2005
Springer
16 years 21 days ago
Nonintrusive precision instrumentation of microcontroller software
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
Ben Titzer, Jens Palsberg
TLCA
2005
Springer
16 years 20 days ago
Subtyping Recursive Types Modulo Associative Commutative Products
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
Roberto Di Cosmo, François Pottier, Didier ...
TSD
2005
Springer
16 years 20 days ago
Robust Rule-Based Method for Automatic Break Assignment in Russian Texts
In this paper a new rule-based approach to break assignment for the Russian language is discussed. It is a flexible and robust method of segmentation of texts in Russian in prosod...
Ilya Oparin
VLSM
2005
Springer
16 years 20 days ago
Fast Marching Method for Generic Shape from Shading
We develop a fast numerical method to approximate the solutions of a wide class of equations associated to the Shape From Shading problem. Our method, which is based on the control...
Emmanuel Prados, Stefano Soatto
HT
2004
ACM
16 years 19 days ago
Augmenting SCORM manifests with adaptive links
This paper describes an experiment to augment SCORM manifests with adaptive links using AuldLinky in order to promote content reusability, interoperability and personalized elearn...
Nor Aniza Abdullah, Christopher Bailey, Hugh C. Da...