1068 search results - page 93 / 214 » For completeness, sublogarithmic space is no space |
145
click to vote
TARK
1992
Springer
15 years 5 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
173
click to vote
3DPVT
2004
IEEE
15 years 5 months ago
2004
IEEE
Abstract-General information about a class of objects, such as human faces or teeth, can help to solve the otherwise ill-posed problem of reconstructing a complete surface from spa...
107
click to vote
ANNPR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Hierarchical neural networks show many benefits when employed for classification problems even when only simple methods analogous to decision trees are used to retrieve t...
118
Voted
AAAI
2007
15 years 4 months ago
2007
This paper describes recent results from the robotics community that develop a theory, similar in spirit to the theory of computation, for analyzing sensor-based agent systems. Th...
136
click to vote
REST
2010
ACM
15 years 3 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...