13383 search results - page 373 / 2677 » Abstractions from proofs |
275
click to vote
ICIAR
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Real time and markerless motion capture is an active research area, due to applications in human-computer interactions, for example. A large part of the existing markerle...
156
Voted
KIVS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Although playing real-time multi-player games online over the Internet became more and more popular in the past few years, people still enjoy meeting for so-called “LAN...
171
click to vote
ECML
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper proposes a generic extension to propositional rule learners to handle multiple-instance data. In a multiple-instance representation, each learning example is r...
180
click to vote
SIBGRAPI
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
198
click to vote
CSL
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...