3994 search results - page 691 / 799 » A Linear Logical Framework |
158
click to vote
CVPR
2008
IEEE
15 years 10 months ago
2008
IEEE
We consider the problem of capturing shape characteristics on specular (refractive and reflective) surfaces that are nearly flat. These surfaces are difficult to model using tradit...
151
click to vote
GCC
2007
Springer
15 years 10 months ago
2007
Springer
Image filtering is the use of computer graphics algorithms to enhance the quality of digital images or to extract information about their content. However rendering very large siz...
143
click to vote
ICB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Most of gait recognition algorithms involve walking cycle estimation to accomplish signature matching. However, we may be plagued by two cycle-related issues when develop...
121
click to vote
ISAAC
2007
Springer
15 years 10 months ago
2007
Springer
Let C denote a set of n mobile clients, each of which follows a continuous trajectory on a weighted tree T. We establish tight bounds on the maximum relative velocity of the 1-cent...
155
click to vote
MFCS
2007
Springer
15 years 10 months ago
2007
Springer
In formal language theory, many families of languages are defined using grammars or finite acceptors like pushdown automata and Turing machines. For instance, context-sensitive l...