Sciweavers

4770 search results - page 129 / 954
» Flexible Type Analysis
Sort
View
BMCBI
2006
164views more  BMCBI 2006»
15 years 4 months ago
BIOZON: a system for unification, management and analysis of heterogeneous biological data
Integration of heterogeneous data types is a challenging problem, especially in biology, where the number of databases and data types increase rapidly. Amongst the problems that o...
Aaron Birkland, Golan Yona
SAS
1997
Springer
162views Formal Methods» more  SAS 1997»
15 years 8 months ago
Exact Flow Analysis
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
Christian Mossin
ECTEL
2008
Springer
15 years 6 months ago
Interaction Analysis Supporting Participants' Self-regulation in a Generic CSCL System
Interaction analysis can provide information directly to learners and teachers in order to assess and self-regulate their ongoing activity. Omega+ is a generic CSCL system that use...
Jacques Lonchamp
EUSFLAT
2001
15 years 5 months ago
Fuzzy robustness analysis
This paper proposes a confluence between soft OR and soft computing methods, by means of an application of fuzzy logic ideas to robustness analysis. Both methods try to add flexib...
Luiz Fernando Loureiro Legey, Heloisa Firmo Kazay
ICPR
2008
IEEE
16 years 5 months ago
An adaptive scene description for activity analysis in surveillance video
This paper presents an adaptive framework for live video analysis. The activities of surveillance subjects are described using a spatio-temporal vocabulary learned from recurrent ...
Brendan Morris, Mohan M. Trivedi