Sciweavers

8706 search results - page 1440 / 1742
» Learning Subjective Language
Sort
View
ICMI
2005
Springer
193views Biometrics» more  ICMI 2005»
15 years 10 months ago
Augmenting conversational dialogue by means of latent semantic googling
This paper presents Latent Semantic Googling, a variant of Landauer’s Latent Semantic Indexing that uses the Google search engine to judge the semantic closeness of sets of word...
Robin Senior, Roel Vertegaal
IFIP
2005
Springer
15 years 10 months ago
A New Low Rank Quasi-Newton Update Scheme for Nonlinear Programming
A new quasi-Newton scheme for updating a low rank positive semi-definite Hessian approximation is described, primarily for use in sequential quadratic programming methods for non...
R. Fletcher
LCTRTS
2005
Springer
15 years 10 months ago
System-wide compaction and specialization of the linux kernel
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
Dominique Chanet, Bjorn De Sutter, Bruno De Bus, L...
LCTRTS
2005
Springer
15 years 10 months ago
Upper bound for defragmenting buddy heaps
Knuth’s buddy system is an attractive algorithm for managing storage allocation, and it can be made to operate in real-time. At some point, storage-management systems must eithe...
Delvin C. Defoe, Sharath R. Cholleti, Ron Cytron
SIGADA
2005
Springer
15 years 10 months ago
Temporal skeletons for verifying time
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
Gustaf Naeser, Kristina Lundqvist, Lars Asplund
« Prev « First page 1440 / 1742 Last » Next »