205 search results - page 18 / 41 » HESAS: HERVs Expression and Structure Analysis System |
102
click to vote
AUTOMATICA
2005
14 years 9 months ago
2005
Various techniques of system identification exist that provide a nominal model and an uncertainty bound. An important question is what the implications are for the particular choi...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
In this contribution we investigate the problem of simultaneous observer based sensor diagnosis and speed estimation of Unmanned Aerial Vehicle (UAV). The main features lie in the...
EHCI
2004
14 years 11 months ago
2004
Many of the difficulties users experience when working with interactive systems arise from misfits between the user's conceptualisation of the domain and device with which the...
109
click to vote
TACS
1994
Springer
15 years 2 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
IANDC
2010
14 years 8 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...