6800 search results - page 872 / 1360 » Testing with Functions as Specifications |
160
click to vote
HCI
2007
15 years 8 months ago
2007
In this paper, we present a survey of challenges and solutions of multilingual and translingual information service systems. In contrast to the computational linguistics literature...
176
click to vote
LREC
2008
15 years 8 months ago
2008
We report about a project which brings together Natural Language Processing and eLearning. One of the functionalities developed within this project is the possibility to annotate ...
193
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Mobility and channel modeling is a very crucial task for the simulation of Vehicular Ad Hoc Network (VANET) scenarios. In this paper we present a new mobility modeling approach fo...
173
click to vote
NIPS
2007
15 years 8 months ago
2007
Neural spike trains present challenges to analytical efforts due to their noisy, spiking nature. Many studies of neuroscientific and neural prosthetic importance rely on a smooth...
163
click to vote
NIPS
2007
15 years 8 months ago
2007
This paper introduces kernels on attributed pointsets, which are sets of vectors embedded in an euclidean space. The embedding gives the notion of neighborhood, which is used to d...