696 search results - page 93 / 140 » Explaining abstract counterexamples |
181
click to vote
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we develop a system for human behaviour recognition in video sequences. Human behaviour is modelled as a stochastic sequence of actions. Actions are described by a f...
158
click to vote
ACISP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Multivariate public-key cryptosystems (sometimes polynomial-based PKC’s or just multivariates) handle polynomials of many variables over relatively small fields instea...
194
click to vote
ACIVS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we present a new implementation of a rainfalling watershed segmentation algorithm. Our previous algorithm was a one-run algorithm. All the steps needed to c...
139
click to vote
AINTEC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We motivate in this paper the need for application-level proximity. This proximity is a function of network characteristics that decide on the application performance. Mo...
159
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...