11172 search results - page 2199 / 2235 » Testing Physical Systems |
154
Voted
OPODIS
2003
15 years 4 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
145
click to vote
ASC
2000
15 years 4 months ago
2000
The improved performance of computer-based text analysis represents a major step forward for knowledge management. Reliable text interpretation allows focus to be placed upon the ...
167
Voted
DAGSTUHL
1998
15 years 3 months ago
1998
Localization is one of the fundamental problems in mobile robotics. Without knowledge about their position mobile robots cannot e ciently carry out their tasks. In this paper we pr...
132
Voted
ISMB
1998
15 years 3 months ago
1998
A novel method to model and predict the location and orientation of alpha helices in membrane- spanning proteins is presented. It is based on a hidden Markov model (HMM) with an a...
118
Voted
ANLP
1997
15 years 3 months ago
1997
We present results of probabilistic tagging of Czech texts in order to show how these techniques work for one of the highly morphologically ambiguous inflective languages. After d...