13383 search results - page 302 / 2677 » Abstractions from proofs |
148
click to vote
ISIPTA
2003
IEEE
16 years 4 hour ago
2003
IEEE
abstract DAMJAN ˇSKULJ University of Ljubljana, Slovenia A new approach to define a product of capacities is presented. It works for capacities that are in a certain relation wi...
163
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper presents a strategy for the systematic development of dynamic web applications. The proposal extends an existing OO software production method introducing navi...
225
click to vote
ICVS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We propose an original bayesian approach to recognize human behaviors from video streams. Mobile objects and their visual features are computed by a vision module. Then, ...
145
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The aim of this paper is to learn driving behaviour by associating the actions recorded from a human driver with pre-attentive visual input, implemented using holistic im...
190
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. In order to make existing formalizations available for settheoretic developments, we present an automated translation of theories from Isabelle/HOL to Isabelle/ZF. This c...