Sciweavers

5387 search results - page 189 / 1078
» Generating generic functions
Sort
View
COLING
2010
15 years 1 months ago
The True Score of Statistical Paraphrase Generation
This article delves into the scoring function of the statistical paraphrase generation model. It presents an algorithm for exact computation and two applicative experiments. The f...
Jonathan Chevelu, Ghislain Putois, Yves Lepage
ACMACE
2008
ACM
15 years 8 months ago
Extracting camera-control requirements and camera movement generation in a 3D virtual environment
This paper proposes a new method to generate smooth camera movement that is collision-free in a three-dimensional virtual environment. It generates a set of cells based on cell de...
Hirofumi Hamazaki, Shinya Kitaoka, Maya Ozaki, Yos...
ICC
2009
IEEE
114views Communications» more  ICC 2009»
16 years 1 months ago
Markov Chain Minimum Bit Error Rate Detection for Multi-Functional MIMO Uplink
— In this paper, we introduce a novel Markov Chain (MC) representation aided Minimum Bit Error Rate (MBER) detection method that is applicable to an M-QAM modulated SDM/SDMA upli...
Shinya Sugiura, Sheng Chen, Lajos Hanzo
TPHOL
2008
IEEE
16 years 22 days ago
Imperative Functional Programming with Isabelle/HOL
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
Lukas Bulwahn, Alexander Krauss, Florian Haftmann,...
GEOS
2009
Springer
15 years 11 months ago
A Functional Ontology of Observation and Measurement
An ontology of observation and measurement is proposed, which models the relevant information processes independently of sensor technology. It is kept at a sufficiently general lev...
Werner Kuhn