1888 search results - page 74 / 378 » Proof theory and computational analysis |
92
Voted
LLC
2011
14 years 7 months ago
2011
Computational phonology studies sound patterns in the world’s languages from a computational perspective. This article shows that the similarities between different generative t...
90
Voted
SIGDOC
2006
ACM
15 years 6 months ago
2006
ACM
The ethical conduct of research is a cornerstone of modern scientific research. Computer science and the discipline’s technological artifacts touch nearly every aspect of moder...
109
click to vote
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
126
Voted
ICIAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We describe the implementation of a 2D optical flow algorithm published in the European Conference on Computer Vision (ECCV 2004) by Brox et al. [1] (best paper award) a...
113
click to vote
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— Game theoretical approaches have been recently used to develop patrolling strategies for mobile robots. The idea is that the patroller and the intruder play a game, whose outco...