1917 search results - page 134 / 384 » Experimenting with Nonmonotonic Reasoning |
194
click to vote
CLUSTER
2008
IEEE
15 years 7 months ago
2008
IEEE
We investigate operating system noise, which we identify as one of the main reasons for a lack of synchronicity in parallel applications. Using a microbenchmark, we measure the no...
143
click to vote
ENTCS
2008
15 years 7 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
147
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Humans are able to recognise a word before its acoustic realisation is complete. This in contrast to conventional automatic speech recognition (ASR) systems, which compute the lik...
201
click to vote
ENTCS
2007
15 years 6 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
189
click to vote
CSL
1998
Springer
15 years 6 months ago
1998
Springer
In this paper, we propose parameter estimation techniques for mixture density polynomial segment models (MDPSMs) where their trajectories are specified with an arbitrary regressi...