1750 search results - page 125 / 350 » Formal multiple-bernoulli models for language modeling |
142
click to vote
ICFCA
2009
Springer
16 years 26 days ago
2009
Springer
This paper revisits the lattice-based thesaurus models which Margaret Masterman used for machine translation in the 1950’s and 60’s. Masterman’s notions are mapped onto moder...
140
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
157
click to vote
ICECCS
2009
IEEE
16 years 22 days ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
111
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
187
Voted
IJSI
2008
15 years 6 months ago
2008
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...