696 search results - page 93 / 140 » Explaining abstract counterexamples |
144
click to vote
ICCV
2005
IEEE
15 years 9 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...
121
click to vote
ACISP
2005
Springer
15 years 9 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...
154
click to vote
ACIVS
2005
Springer
15 years 9 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...
110
click to vote
AINTEC
2005
Springer
15 years 9 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...
126
click to vote
BIRTHDAY
2005
Springer
15 years 8 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...