289 search results - page 52 / 58 » Introducing Variability into Aspect-Oriented Modeling Approa... |
ESANN
2001
15 years 29 days ago
2001
Aim of the present article is to show the results obtained from the application of neuro-fuzzy methodology in the solution of agriculture problems like the Bactrocera Oleae (olive...
101
click to vote
JALC
2006
14 years 11 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
TMI
2002
14 years 11 months ago
2002
Abstract--We present an explicit formula for B-spline convolution kernels; these are defined as the convolution of several B-splines of variable widths and degrees . We apply our r...
FOCM
2010
14 years 10 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
152
click to vote
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper we present a framework for the recognition of collective human activities. A collective activity is defined or reinforced by the existence of coherent behavior of i...