6050 search results - page 305 / 1210 » Information In The Non-Stationary Case |
185
click to vote
ER
2004
Springer
16 years 3 days ago
2004
Springer
Ontology provides sharing knowledge among different data sources which will help to clarify the semantics of information. OWL is being promoted as a standard for web ontology langu...
164
click to vote
ISCIS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a performance modelling case study of a distributed multi-player game expressed in the PEPA nets modelling language. The case study provides a modern complex d...
146
click to vote
ILP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We consider the task of tagging Slovene words with morphosyntactic descriptions (MSDs). MSDs contain not only part-of-speech information but also attributes such as gende...
154
click to vote
LREC
2010
15 years 8 months ago
2010
The simple access to texts on digital libraries and the WWW has led to an increased number of plagiarism cases in recent years, which renders manual plagiarism detection infeasibl...
154
click to vote
IWFM
1998
15 years 8 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...