Sciweavers

1683 search results - page 198 / 337
» Game Theory Basics
Sort
View
AVSS
2003
IEEE
15 years 11 months ago
A Survey of Camera Self-Calibration
This paper surveys the developments of the last 10 years in the area of camera self-calibration. In order to solve this problem, researches have used the camera intrinsic constrai...
Elsayed E. Hemayed
LICS
1999
IEEE
15 years 10 months ago
Some Decision Problems of Enormous Complexity
We present some new decision and comparison problems of unusually high computational complexity. Most of the problems are strictly combinatorial in nature; others involve basic lo...
Harvey Friedman
RTA
2010
Springer
15 years 10 months ago
Order-Sorted Unification with Regular Expression Sorts
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...
Temur Kutsia, Mircea Marin
FMCO
2004
Springer
15 years 10 months ago
A Perspective on Component Refinement
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
Luís Soares Barbosa
ITSL
2008
15 years 7 months ago
A Model of the Distribution of the Distances of Alike Elements in Dialogical Communication
In this paper we describe a model of the distribution of alike elements in dialogical communication. Our starting point is the interactive approach to alignment which views priming...
Alexander Mehler