9698 search results - page 168 / 1940 » models 2010 |
111
click to vote
APAL
2010
15 years 6 months ago
2010
In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi ...
186
click to vote
ENTCS
2002
15 years 6 months ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
168
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
This paper presents a new approach to language model construction, learning a language model not from text, but directly from continuous speech. A phoneme lattice is created using...
145
click to vote
ECTEL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Educational systems that model the user enable personalisation. Systems that open the model to the user to prompt reflection are increasingly common. These often offer a ...
170
click to vote
ENTCS
2006
15 years 6 months ago
2006
Data integration systems provide a uniform query interface (UQI) to multiple, autonomous data sources [4]. This paper presents the universal data model (UDM) that captures the sem...