Sciweavers

1224 search results - page 128 / 245
» Framework extraction with domain analysis
Sort
View
IFIP
2010
Springer
15 years 9 months ago
Laban Movement Analysis towards Behavior Patterns
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
Luís Santos, Jorge Dias
BIBE
2001
IEEE
188views Bioinformatics» more  BIBE 2001»
15 years 8 months ago
Interrelated Two-way Clustering: An Unsupervised Approach for Gene Expression Data Analysis
DNA arrays can be used to measure the expression levels of thousands of genes simultaneously. Currently most research focuses on the interpretation of the meaning of the data. How...
Chun Tang, Li Zhang, Aidong Zhang, Murali Ramanath...
ICSE
2003
IEEE-ACM
16 years 4 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
TACAS
2009
Springer
136views Algorithms» more  TACAS 2009»
15 years 11 months ago
Path Feasibility Analysis for String-Manipulating Programs
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
Nikolaj Bjørner, Nikolai Tillmann, Andrei V...
AAAI
1998
15 years 5 months ago
Qualitative Analysis of Distributed Physical Systems with Applications to Control Synthesis
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
Christopher Bailey-Kellogg, Feng Zhao