2509 search results - page 277 / 502 » Abstract Geometrical Computation and Computable Analysis |
142
click to vote
FOSSACS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
188
click to vote
MIRAGE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this paper we present an agent that can analyse certain human fullbody movements in order to respond in an expressive manner with copying behaviour. Our work focuses o...
188
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In database marketing, the behavior of customers is analyzed by studying the transactions they have performed. In order to get a global picture of the behavior of a custo...
167
click to vote
IWVF
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we propose two techniques to qualitatively estimate distance in monocular vision. Two kinds of approaches are described, the former based on texture analysi...
179
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...