11462 search results - page 1961 / 2293 » Developing Application-Centric Methods |
172
click to vote
APAL
2010
15 years 6 months ago
2010
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...
156
click to vote
AROBOTS
2008
15 years 6 months ago
2008
Based on the analysis of non-verbal inter-human interaction, this paper proposes a model for estimating human friendships in the presence of a humanoid robot. Our previous study i...
175
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
152
click to vote
BIB
2008
15 years 6 months ago
2008
The Molecular Evolutionary Genetics Analysis (MEGA) software is a desktop application designed for comparative analysis of homologous gene sequences either from multigene families...
179
click to vote
BIB
2008
15 years 6 months ago
2008
The availability of hundreds of complete bacterial genomes has created new challenges and simultaneously opportunities for bioinformatics. In the area of statistical analysis of g...