1008 search results - page 120 / 202 » Canonicity! |
136
Voted
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. A well-known decision procedure for Presburger arithmetic uses deterministic finite-state automata. While the complexity of the decision procedure for Presburger arithme...
134
Voted
FTML
2010
15 years 2 months ago
2010
We give a tutorial overview of several geometric methods for dimension reduction. We divide the methods into projective methods and methods that model the manifold on which the da...
129
click to vote
ICMLC
2010
Springer
15 years 1 months ago
2010
Springer
: This paper focused on designing of a ubiquitous interface agent based on the ontology technology and interaction diagram with the backend information agent system, i.e., OntoIAS,...
139
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— This paper presents a formulation of image-based visual servoing (IBVS) for a spherical camera where coordinates are parameterized in terms of colatitude and longitude: IBVSSph...
117
Voted
LOGCOM
2010
15 years 1 months ago
2010
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...