4806 search results - page 705 / 962 » Interactive uncertainty analysis |
201
Voted
DICTA
2008
15 years 8 months ago
2008
The analysis of fish movement as an indicator of fish behaviour plays an important role in aquaculture research. Currently observations are carried out manually using video record...
186
click to vote
FMOODS
2007
15 years 8 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
143
click to vote
LREC
2008
15 years 8 months ago
2008
Phonetic segmentation is the procedure which is used in many applications of speech processing, both as a subpart of automated systems or as the tool for an interactive work. In t...
130
click to vote
IWEC
2007
15 years 8 months ago
2007
Abstract. Visual attention plays a critical role in game playing. A better understanding of the allocation of visual attention can benefit the design of game scenarios. In this pa...
158
click to vote
SE
2007
15 years 8 months ago
2007
: A growing demand for distributed and decentralized software, together with an increasing inherent complexity of these systems challenges traditional software engineering practice...